rzach / forallx-yyc
UCalgary version of forallx, an introduction to formal logic
☆95Updated last month
Related projects ⓘ
Alternatives and complementary repositories for forallx-yyc
- Tim Button's open textbook on set theory☆30Updated last year
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆38Updated 2 years ago
- Logic and Mechanized Reasoning☆87Updated 4 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Source code for the nLab☆149Updated 2 months ago
- A formal logic framework that runs in the browser☆272Updated 4 months ago
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- Textbook on metalogic based on the Open Logic Project☆36Updated 11 months ago
- CoDi: Commutative Diagrams for TeX☆30Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated 2 weeks ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- A Lean file formatter☆63Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Textbook on Gödel's incompleteness theorems and computability theory☆16Updated 3 years ago
- Lean documentation authoring tool☆124Updated this week
- Source code for the Mathematics in Lean tutorial.☆92Updated last week
- PreTeXt: an authoring and publishing system for scholarly documents☆268Updated this week
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Public repository for Abstact Algebra Theory and Applications☆160Updated 3 months ago
- A semantic Extension of TeX/LaTeX☆50Updated this week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 7 months ago
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆22Updated 2 years ago
- Effective Algebraic Topology in Haskell☆86Updated 2 months ago
- Collection of animals and other beings drawn in TikZ☆90Updated last month