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.
MIT License
2
stars
3
forks
source link
Break README into sections and make it easier to read #8