The Megalodon interactive theorem prover and proof checker
☆15Apr 14, 2024Updated 2 years ago
Alternatives and similar repositories for Megalodon
Users that are interested in Megalodon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- The core implementation of the Acorn language.☆52Jul 15, 2026Updated 3 months ago
- ☆27May 17, 2026Updated 5 months ago
- Still working on improving this!☆16Oct 16, 2026Updated 2 weeks ago
- The Candle theorem prover (fork of the HOL Light sources)☆30Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆29Oct 13, 2026Updated 2 weeks ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Write formal proofs in natural language and LaTeX.☆53Updated this week
- Acorn's standard library of mathematical facts.☆62Sep 4, 2026Updated last month
- An implementation of Horton hash tables☆10Aug 24, 2016Updated 10 years ago
- Elaboration of cumulative universe hierarchies☆13Updated this week
- Tropy plugin for exporting items into Omeka☆12Apr 20, 2023Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- A modern emulator for CHIP-8 systems.☆10Dec 9, 2020Updated 5 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.
- Partial source code for celestia.mobi☆12Oct 20, 2026Updated last week
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated 2 weeks ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- Code to create gravitational-wave memory waveforms☆13Oct 25, 2026Updated last week
- ☆11Apr 9, 2023Updated 3 years ago
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated 2 weeks ago
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 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.
- Davenport is a CouchDB client for simplifying common tasks like get, list, create, update and delete. It comes complete with full TypeScr…☆11Jun 20, 2026Updated 4 months ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆67Aug 29, 2026Updated 2 months ago
- ☆18Updated this week
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Deprecated☆37May 17, 2026Updated 5 months ago
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 5 months ago
- ☆19May 6, 2026Updated 5 months ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Mac OSX application to control the DNSCrypt Proxy☆12Oct 7, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Aug 19, 2026Updated 2 months ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆32Updated this week
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- A Rust wrapper over Google's TCMalloc memory allocator☆20Sep 14, 2026Updated last month
- Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/☆11Jan 8, 2012Updated 14 years ago