Source of metamath book
☆54Dec 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
Sorting:
- Metamath program - source code for the Metamath executable☆96Dec 2, 2025Updated 3 months ago
- Metamath source file for logic and set theory☆305Updated 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☆77Sep 16, 2024Updated last year
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated last month
- Metamath verifier in Python☆42Jun 7, 2025Updated 9 months ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- Set of tools and data to compute all known invariants for simple connected graphs☆14Mar 6, 2018Updated 8 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- SICP Exercise Solutions (e/λ)☆12Jul 18, 2023Updated 2 years ago
- A programming language for transpiled libraries.☆14Jul 8, 2025Updated 8 months ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- phonetic transcription for Tibetan☆10Mar 13, 2019Updated 6 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- 🎨 Generate and change color-schemes on the fly.☆10Sep 17, 2019Updated 6 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- ☆13Feb 18, 2025Updated last year
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Metamath Zero specification language☆379Feb 28, 2026Updated last week
- 💠 EMQTTD: EMQ MQTT Server 2.1.2☆13Jan 16, 2026Updated last month
- ☆17Feb 16, 2026Updated 3 weeks ago
- A minimal implementation of the C standard library.☆14Nov 12, 2025Updated 3 months ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Jul 8, 2018Updated 7 years ago
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 years ago
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 3 months ago
- T1 Documentation☆11May 14, 2019Updated 6 years ago
- Generate NetHack configurations using Dhall☆37Jul 22, 2021Updated 4 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆18Updated this week
- FreeDOS commands and usage information☆16Feb 11, 2024Updated 2 years ago
- x86 16-bit program drawing the heart curve equation☆17Feb 15, 2021Updated 5 years ago
- Demos Commander, dual-pane orthodox file manager☆20Feb 14, 2024Updated 2 years ago