⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content
@metamath

Metamath

Popular repositories Loading

  1. set.mm set.mm Public

    Metamath source file for logic and set theory

    HTML 302 101

  2. metamath-exe metamath-exe Public

    Metamath program - source code for the Metamath executable

    C 90 28

  3. metamath-book metamath-book Public

    Source of metamath book

    TeX 53 19

  4. metamath-knife metamath-knife Public

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

    Rust 40 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 7 13

  6. lamp-guide lamp-guide Public

    Guide on how to use the metamath-lamp proof assistant

    HTML 4 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 302 101 125 (1 issue needs help) 5 Updated Jan 20, 2026
  • metamath-exe Public

    Metamath program - source code for the Metamath executable

    metamath/metamath-exe’s past year of commit activity
    C 90 GPL-2.0 28 37 6 Updated Dec 2, 2025
  • 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 7 13 2 2 Updated Nov 14, 2025
  • symbols Public

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

    metamath/symbols’s past year of commit activity
    HTML 3 CC0-1.0 1 0 0 Updated Oct 5, 2025
  • 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 40 Apache-2.0 12 18 9 Updated May 7, 2025
  • lamp-guide Public

    Guide on how to use the metamath-lamp proof assistant

    metamath/lamp-guide’s past year of commit activity
    HTML 4 MIT 1 1 1 Updated Jan 13, 2025
  • 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 1 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 53 CC0-1.0 19 15 2 Updated Dec 22, 2023

Most used topics

Loading…