Popular repositories Loading

1. set.mm set.mm Public

   Metamath source file for logic and set theory

   HTML 296 100

2. metamath-exe metamath-exe Public

   Metamath program - source code for the Metamath executable

   C 87 29

3. metamath-book metamath-book Public

   Source of metamath book

   TeX 51 18

4. metamath-knife metamath-knife Public

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

   Rust 35 12

5. metamath-website-seed metamath-website-seed Public

   Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

   HTML 6 11

6. lamp-guide lamp-guide Public

   Guide on how to use the metamath-lamp proof assistant

   HTML 4 1