Choir is an open protocol that distributes multi-agent autoformalization across independent contributors using GitHub coordination and deterministic merge gates, supporting Lean 4, Isabelle, and Rocq.
#OpenSourceAI #FormalMethods #MultiAgent #Lean4
https://arxiv.org/abs/2609.31903
