Popular repositories

1. set.mm set.mm Public

   Metamath source file for logic and set theory

   HTML 233 85

2. metamath-exe metamath-exe Public

   Metamath program - source code for the Metamath executable

   C 71 23

3. metamath-book metamath-book Public

   Source of metamath book

   TeX 44 18

4. metamath-knife metamath-knife Public

   Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

   Rust 26 9

5. lamp-guide lamp-guide Public

   Guide on how to use the metamath-lamp proof assistant

   HTML 2 1

6. metamath-website-scripts metamath-website-scripts Public

   Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm,…

   Shell 1 2