mscroggs / Logic-Bot
@mathslogicbot
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Logic-Bot
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- Deposited packages of the homalg project☆12Updated last month
- CAP project -- Categories, Algorithms, and Programming☆24Updated last week
- A web-based graphical proof assistant for LK and Hoare logic.☆32Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- My basic LaTeX macros and BibTeX file.☆13Updated last year
- A community database of topological counterexamples☆72Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- This project converts structured Lean code into an interactive browser game.☆73Updated 11 months ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- multilingual dictionary of mathematical terminology☆19Updated last week
- Homebrew tap for GAP☆14Updated 5 months ago
- ☆14Updated 11 months ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- Plain-text declaration export for Lean 4☆11Updated 3 weeks ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆37Updated 2 years ago
- An experimental category theory library for Lean☆47Updated last year
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆15Updated 4 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 6 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- A Lean 4 Jupyter kernel via repl☆13Updated this week
- Schemes in Lean (v2)☆42Updated 4 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- A formalization of the Rubik's cube group☆26Updated 4 years ago