The proof systems used by Mina
o1-labs/proof-systems has 460 GitHub stars.
It currently ranks #20063 daily, #20836 weekly, #23465 monthly by momentum on Trending Repos; its best-ever rank is #2920.
Trending Repos first recorded it on Jun 12, 2026.