stepchowfun / proofsLinks

My personal repository of formally verified mathematics.
299Updated 2 months ago

Alternatives and similar repositories for proofs

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

Sorting: