motib / mathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
☆14Updated 2 years ago
Alternatives and similar repositories for mathematical-logic:
Users that are interested in mathematical-logic are comparing it to the libraries listed below
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆26Updated last week
- A collection of math and CS notes from university and self-study☆21Updated 10 months ago
- Source of metamath book☆48Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆50Updated last year
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated last week
- SAT solver for education☆26Updated 2 years ago
- This is the repository for PLP, An introduction to mathematical proof, book☆16Updated 9 months ago
- Online BDD Simulation Tool☆18Updated 2 years ago
- Applied Discrete Structures using PreTeXt☆43Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- personal follow of mit 6.004 Computation Structures of spring 2017☆11Updated 3 years ago
- Tim Button's open textbook on set theory☆33Updated last year
- P.D. Magnus' forallx logic textbook☆60Updated last year
- Another attempt for visualizing proofs☆12Updated 4 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Mathematical Components (the Book)☆141Updated last year
- Interactive Theorem Proving course using HOL4☆11Updated last year
- metamath proof enumerators and other things☆93Updated 8 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆65Updated 7 years ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- ☆76Updated 2 years ago
- The main repository integrating the LaTeX beamer-based slides☆24Updated 5 months ago
- Stanford GraphBase☆31Updated 6 months ago
- Website for the textbook Mathematical Methods in Data Science (MMiDS) by Sebastien Roch☆26Updated last month
- Code for enumeration from a CFG☆18Updated last year
- SIGPLAN website☆11Updated 3 weeks ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated last month
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago