Skip to content
@metamath

Metamath

Popular repositories Loading

  1. set.mm set.mm Public

    Metamath source file for logic and set theory

    HTML 243 88

  2. metamath-exe metamath-exe Public

    Metamath program - source code for the Metamath executable

    C 76 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 26 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 243 88 96 (1 issue needs help) 4 Updated Sep 8, 2024
  • metamath-exe Public

    Metamath program - source code for the Metamath executable

    metamath/metamath-exe’s past year of commit activity
    C 76 GPL-2.0 25 31 6 Updated Aug 6, 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 26 Apache-2.0 11 17 7 Updated Jul 30, 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
  • 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 Dec 29, 2023
  • 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

Top languages

Loading…

Most used topics

Loading…