planetmath / 03_Mathematical_logic_and_foundationsLinks
☆14Updated 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:
- ☆21Updated 2 years ago
- ☆10Updated 2 years ago
- ☆37Updated 7 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last week
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 3 weeks ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 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…☆23Updated last week
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆15Updated 2 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Updated 12 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ☆30Updated 7 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆52Updated 15 years ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆18Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- ☆7Updated last month
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Theorem proving in Lean☆49Updated 8 months ago
- PVTS is a visual interpreter for the Scheme programming language writen in Java.☆28Updated 11 years ago
- Examples of common usage of the Cyc APIs.☆17Updated 7 years ago
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Updated 6 months ago
- Lecture notes of the course Analysis On Manifolds☆21Updated 5 months ago
- Game theory in Clojure☆18Updated 12 years ago
- The propagator system☆41Updated 9 years ago
- Collection of builtin GNU TeXmacs plugins☆44Updated 4 months ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Tools for managing the TeX sources of the Stacks project☆16Updated last year