Skip to content
@metamath

Metamath

Popular repositories Loading

  1. set.mm set.mm Public

    Metamath source file for logic and set theory

    HTML 254 88

  2. metamath-exe metamath-exe Public

    Metamath program - source code for the Metamath executable

    C 79 25

  3. metamath-book metamath-book Public

    Source of metamath book

    TeX 45 18

  4. metamath-knife metamath-knife Public

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

    Rust 27 11

  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 4 9

  6. lamp-guide lamp-guide Public

    Guide on how to use the metamath-lamp proof assistant

    HTML 3 1

Repositories

Showing 8 of 8 repositories
  • set.mm Public

    Metamath source file for logic and set theory

    metamath/set.mm’s past year of commit activity
    HTML 254 88 102 (1 issue needs help) 7 Updated Nov 9, 2024
  • lamp-guide Public

    Guide on how to use the metamath-lamp proof assistant

    metamath/lamp-guide’s past year of commit activity
    HTML 3 MIT 1 0 1 Updated Nov 5, 2024
  • metamath-knife Public

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

    metamath/metamath-knife’s past year of commit activity
    Rust 27 Apache-2.0 11 18 9 Updated Oct 28, 2024
  • metamath-exe Public

    Metamath program - source code for the Metamath executable

    metamath/metamath-exe’s past year of commit activity
    C 79 GPL-2.0 25 31 7 Updated Aug 6, 2024
  • 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

    metamath/metamath-website-seed’s past year of commit activity
    HTML 4 9 3 5 Updated Jun 16, 2024
  • 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, etc.

    metamath/metamath-website-scripts’s past year of commit activity
    Shell 2 MIT 3 2 0 Updated Jun 14, 2024
  • metamath-book Public

    Source of metamath book

    metamath/metamath-book’s past year of commit activity
    TeX 45 CC0-1.0 18 15 2 Updated Dec 22, 2023
  • symbols Public

    Images for math symbols from the Metamath project (released to public domain)

    metamath/symbols’s past year of commit activity
    HTML 0 CC0-1.0 0 0 0 Updated Oct 25, 2023

Most used topics

Loading…