mscroggs / Logic-BotLinks
@mathslogicbot
☆20Updated 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☆11Updated 3 years ago
- multilingual dictionary of mathematical terminology☆19Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- Let's translate works of Grothendieck☆26Updated 5 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- A program for making zooming slides in figma.☆37Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆30Updated last year
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A Lean file formatter☆68Updated 2 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated last week
- LaTeX version of Grothendieck's Pursuing Stacks☆49Updated 3 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Tim Button's open textbook on set theory☆39Updated 3 weeks ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Metamath verifier in Python☆40Updated last month
- A semantic Extension of TeX/LaTeX☆53Updated last week
- Digital images used as illustrations in the Open Logic Project☆7Updated 8 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Deposited packages of the homalg project☆15Updated 2 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- SIGPLAN website☆11Updated this week
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- FreeTikZ☆37Updated 7 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 8 months ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago