planetmath / 03_Mathematical_logic_and_foundationsLinks
☆15Updated last year
Alternatives and similar repositories for 03_Mathematical_logic_and_foundations
Users that are interested in 03_Mathematical_logic_and_foundations are comparing it to the libraries listed below
Sorting:
- ☆39Updated 7 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆33Updated 8 years ago
- ☆25Updated 2 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- NASA PVS Library of Formal Developments☆294Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Qubits in Clojure☆40Updated 11 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Updated 15 years ago
- ☆30Updated 8 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Uptime 15,364 days - The Computers of Voyager☆44Updated 6 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Updated 10 years ago
- The People's Verification System☆167Updated this week
- ☆10Updated 2 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆129Updated 2 months ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- The propagator system☆41Updated 10 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆28Updated 2 months ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆128Updated 12 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- ☆45Updated 2 months ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Updated 12 years ago
- A Sparse Distributed Memory Framework.☆46Updated 6 years ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆19Updated last year