Source of metamath book
☆55Dec 22, 2023Updated 2 years ago
Alternatives and similar repositories for metamath-book
Users that are interested in metamath-book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metamath program - source code for the Metamath executable☆98Dec 2, 2025Updated 3 months ago
- Metamath source file for logic and set theory☆307Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42May 7, 2025Updated 10 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆78Sep 16, 2024Updated last year
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 2 months ago
- T1 Documentation☆11May 14, 2019Updated 6 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 9 months ago
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 7 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆23Nov 29, 2025Updated 4 months ago
- The Candle theorem prover (fork of the HOL Light sources)☆18Updated this week
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Metamath Zero specification language☆383Updated this week
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆17Aug 19, 2024Updated last year
- transforms html and replaces <img> tags with inline data URI driven images☆32Oct 14, 2024Updated last year
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Get the size of the attached terminal in OCaml