physical-superintelligence/aaronson-ambainis
A proof of the Aaronson-Ambainis conjecture
GitHub repository with 65 stars and 9 forks.
Language: Lean
24h trend summary
Trending score 1.23, freshness score 0.00, stars gained +1, forks gained +0.
Latest metric snapshot
2026-11-15: 65 stars and 9 forks.