OpenLogicProject / forallx-cam
Tim Button's Cambridge version of forallx
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for forallx-cam
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- Tim Button's open textbook on set theory☆30Updated last year
- UCalgary version of forallx, an introduction to formal logic☆95Updated last month
- Textbook on Gödel's incompleteness theorems and computability theory☆16Updated 3 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 7 months ago
- Source of metamath book☆45Updated 11 months ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)☆15Updated last year
- Write formal proofs in natural language and LaTeX.☆32Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Textbook on metalogic based on the Open Logic Project☆36Updated 11 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 9 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- A semantic Extension of TeX/LaTeX☆50Updated this week
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- A compiler for Bayesian time series models.☆22Updated 5 months ago
- Applied Discrete Structures using PreTeXt☆41Updated this week
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 2 months ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆14Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆15Updated this week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 7 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆15Updated 4 years ago
- Mathematical notes and papers☆25Updated 2 months ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Coq library for verified low-level programming☆57Updated 7 years ago
- ☆33Updated 6 years ago
- An encyclopedia of proofs☆57Updated last week