sci-mathematics@gentoo.org Gentoo Mathematics Project The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. https://github.com/leanprover-community/lean/issues leanprover-community/lean