Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

Weber-GeoML/Choir

An open protocol for distributed multi-agent autoformalization.

Owner
Weber-GeoML (organization)
Stars
Stars: 118
Forks
Forks: 16
Language
Python
License
Apache-2.0
Created
2026
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

Nearby in Python

All Python repos