ericastor / rmzooLinks
☆14Updated last year
Alternatives and similar repositories for rmzoo
Users that are interested in rmzoo are comparing it to the libraries listed below
Sorting:
- sorear's Metamath system engine☆13Updated 9 years ago
- metamath proof enumerators and other things☆94Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated 11 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year
- Busy Beaver deciders backed by Coq proof☆54Updated 5 months ago
- Formalizing results about the Mandelbrot set in Lean☆23Updated this week
- Metamath program - source code for the Metamath executable☆84Updated last month
- ☆11Updated last year
- Metamath source file for logic and set theory☆290Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 2 months ago
- Source of metamath book☆49Updated last year
- Automatically exported from code.google.com/p/ghilbert