OpenLogicProject / forallx-cam
Tim Button's Cambridge version of forallx
☆12Updated 6 years ago
Alternatives and similar repositories for forallx-cam:
Users that are interested in forallx-cam are comparing it to the libraries listed below
- P.D. Magnus' forallx logic textbook☆60Updated last year
- Tim Button's open textbook on set theory☆33Updated last year
- UCalgary version of forallx, an introduction to formal logic☆103Updated 2 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆52Updated 6 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated 5 months ago
- Bonn Lean course for winter 24/25☆27Updated 3 months ago
- Textbook on Gödel's incompleteness theorems and computability theory☆17Updated 3 years ago
- ☆14Updated last year
- Python tools for the K Framework☆13Updated 11 months ago
- Mathematical Components (the Book)☆141Updated last year
- Coq library for verified low-level programming☆57Updated 7 years ago
- Actor-based Runtime Verification Tool☆15Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Textbook on metalogic based on the Open Logic Project☆38Updated last year
- ☆14Updated 9 months ago
- An encyclopedia of proofs☆58Updated 4 months ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month
- 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
- Prime numbers for Coq☆37Updated 2 months ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated 2 months ago
- The theory of groups☆76Updated last year
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆74Updated 2 months ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- Python bindings for the Coq interactive proof assistant☆53Updated 3 years ago
- Source of metamath book☆48Updated last year
- Coq Enhancement Proposals☆56Updated 2 months ago
- ☆14Updated 10 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆21Updated this week