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☆64Updated last year
- Tim Button's open textbook on set theory☆32Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated 4 months ago
- Textbook on Gödel's incompleteness theorems and computability theory☆17Updated 3 years ago
- Source of metamath book☆47Updated last year
- UCalgary version of forallx, an introduction to formal logic☆100Updated 3 weeks ago
- Textbook on metalogic based on the Open Logic Project☆37Updated last year
- Applied Discrete Structures using PreTeXt☆43Updated 3 weeks ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆132Updated 2 months ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated 3 weeks ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆71Updated 3 weeks ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆28Updated 9 months ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆15Updated this week
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆162Updated 3 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- GitHub repo backing Programming Language Ranking website ⬇️☆30Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Write formal proofs in natural language and LaTeX.☆33Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 10 months ago
- Learn Lean and topology☆21Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A Markdown to HTML compiler written in Haskell.☆15Updated 10 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Mathematical Components (the Book)☆141Updated last year