mmj2 GUI Proof Assistant for the Metamath project
☆80Sep 16, 2024Updated last year
Alternatives and similar repositories for mmj2
Users that are interested in mmj2 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 source file for logic and set theory☆315Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆45May 7, 2025Updated last year
- sorear's Metamath system engine - version 3 Rust☆24May 31, 2023Updated 3 years ago
- Metamath program - source code for the Metamath executable☆99Dec 2, 2025Updated 6 months ago
- Source of metamath book☆55Dec 22, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Metamath logic game☆10Jun 11, 2026Updated last week
- ☆14Mar 27, 2024Updated 2 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- A port of Box2D Lite to Pharo Smalltalk☆14May 10, 2020Updated 6 years ago
- UI infrastructure & framework for Pharo.☆17Jun 11, 2026Updated last week
- Metamath Zero specification language☆396Mar 29, 2026Updated 2 months ago
- What if interfacing with computing artifacts felt like your mental models had come alive?☆13Updated this week
- 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.
- ☆17Mar 23, 2026Updated 2 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- ☆14Jan 30, 2025Updated last year
- ☆168Updated this week
- ☆24Sep 22, 2021Updated 4 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 3 months ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆46Apr 22, 2026Updated last month
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Manfred von Thun's Programming Language Joy☆18Mar 31, 2026Updated 2 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 8 years ago
- metamath proof enumerators and other things☆98Nov 16, 2025Updated 7 months ago
- tools for common-logic☆23Mar 5, 2013Updated 13 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Jun 7, 2026Updated last week
- My Agda stuff☆13May 31, 2026Updated 2 weeks ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- sorear's Metamath system engine☆13May 5, 2016Updated 10 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 6 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆47Jul 14, 2024Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- ☆15Apr 1, 2026Updated 2 months ago
- Get the size of the attached terminal in OCaml☆15Apr 26, 2022Updated 4 years ago