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:
- metamath proof enumerators and other things☆94Updated 11 months ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆448Updated 6 years ago
- L-Functions and Modular Forms Database☆272Updated this week
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆986Updated 2 weeks ago
- A modern syntax for the λ-calculus.☆412Updated 8 years ago
- The Incredible Proof Machine☆377Updated 3 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated last month
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- My personal repository of formally verified mathematics.☆301Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆159Updated 2 weeks ago
- A terse declarative logic programming language☆118Updated 4 years ago
- A probabilistic programming language☆318Updated 3 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆246Updated 10 years ago
- Metamath source file for logic and set theory☆284Updated this week
- The HOL Light theorem prover☆456Updated last week
- A black hole raytracer written in Haskell☆176Updated 3 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- A port of Coq to Javascript -- Run Coq in your Browser☆528Updated 2 weeks ago
- Life like molecular computers with artificial chemistry.☆136Updated 2 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 4 months ago
- papers of Per Martin Löf☆788Updated last year
- The formal proof of the Kepler conjecture☆156Updated last year
- Formal Reasoning About Programs☆688Updated last year
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Resources and notes on computational complexity theory☆39Updated 5 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- ☆164Updated 5 years ago
- a collection of cellular automata written in Haskell with Diagrams☆187Updated 6 years ago