adamyedidia / parsimonyLinks
☆343Updated 7 years ago
Alternatives and similar repositories for parsimony
Users that are interested in parsimony are comparing it to the libraries listed below
Sorting:
- L-Functions and Modular Forms Database☆275Updated this week
- metamath proof enumerators and other things☆94Updated last year
- Formalizations of Gödel's Ontological Proof of God's Existence☆454Updated 6 years ago
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- My personal repository of formally verified mathematics.☆306Updated 2 weeks ago
- The Incredible Proof Machine☆382Updated 6 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆245Updated 11 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated last week
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆991Updated last month
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- A port of Coq to Javascript -- Run Coq in your Browser☆534Updated this week
- A probabilistic programming language☆321Updated 3 years ago
- ☆166Updated 5 years ago
- The HOL Light theorem prover☆473Updated 2 months ago
- A terse declarative logic programming language☆117Updated 5 years ago
- A modern syntax for the λ-calculus.☆413Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆99Updated 10 months ago
- Metamath source file for logic and set theory☆294Updated this week
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Metamath Zero specification language☆352Updated last month
- APL Compiler targeting a typed array intermediate language☆216Updated last year
- High-performance, Reliable, and Parallel APL☆765Updated this week
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- ☆126Updated 2 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 6 months ago
- Resources and notes on computational complexity theory☆39Updated 5 years ago
- papers of Per Martin Löf☆800Updated last year
- The formal proof of the Kepler conjecture☆163Updated last year
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago