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☆14Updated 9 years ago
- metamath proof enumerators and other things☆94Updated last year
- Formalizing results about the Mandelbrot set in Lean☆26Updated last week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.