stepchowfun / proofsLinks

My personal repository of formally verified mathematics.
301Updated 3 months ago

Alternatives and similar repositories for proofs

Users that are interested in proofs are comparing it to the libraries listed below

Sorting: