sci-mathematics@gentoo.org Gentoo Mathematics Project This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms. https://github.com/metamath/set.mm/issues/ metamath/set.mm