Computable Polynomials in Lean.
Lean
47
286 commits
updated Sep 23, 2026
(top 30 of 32)
90 commits
63 commits
23 commits
16 commits
98.7%
