mscroggs / Logic-BotLinks
@logicbot@mathstodon.xyz
☆21Updated 2 years ago
Alternatives and similar repositories for Logic-Bot
Users that are interested in Logic-Bot are comparing it to the libraries listed below
Sorting:
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- some maths papers in English☆19Updated last week
- Listing of online math seminars☆43Updated 3 months ago
- multilingual dictionary of mathematical terminology☆20Updated 3 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- A Lean file formatter☆71Updated 3 years ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- CAP project -- Categories, Algorithms, and Programming☆40Updated 3 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆53Updated 4 years ago
- https://1000-plus.github.io/☆21Updated 2 months ago
- ☆24Updated 3 years ago
- My basic LaTeX macros and BibTeX file.☆14Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆142Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Lean Library currently studying for a degree at Imperial College☆230Updated 11 months ago
- Repository for the QED interactive text and possible extensions☆117Updated last year
- Riemann Hypothesis book☆74Updated 8 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated 6 months ago
- Formalization of the existence of sphere eversions☆46Updated last week
- Very controlled natural language tactics for Lean☆66Updated 2 years ago