Pinned Repositories
lamp-guide
Guide on how to use the metamath-lamp proof assistant
metamath-book
Source of metamath book
metamath-exe
Metamath program - source code for the Metamath executable
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
metamath-website-scripts
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, etc.
metamath-website-seed
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
set.mm
Metamath source file for logic and set theory
symbols
Images for math symbols from the Metamath project (released to public domain)
Metamath's Repositories
metamath/set.mm
Metamath source file for logic and set theory
metamath/metamath-exe
Metamath program - source code for the Metamath executable
metamath/metamath-book
Source of metamath book
metamath/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
metamath/metamath-website-seed
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
metamath/lamp-guide
Guide on how to use the metamath-lamp proof assistant
metamath/symbols
Images for math symbols from the Metamath project (released to public domain)
metamath/metamath-website-scripts
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, etc.