mscroggs / Logic-Bot
@mathslogicbot
☆20Updated last year
Alternatives and similar repositories for Logic-Bot:
Users that are interested in Logic-Bot are comparing it to the libraries listed below
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- A Lean file formatter☆64Updated last year
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆11Updated 4 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- Tim Button's open textbook on set theory☆31Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- CoDi: Commutative Diagrams for TeX☆30Updated 8 months ago
- multilingual dictionary of mathematical terminology☆19Updated 2 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆22Updated 3 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 7 months ago
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆42Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆68Updated last year
- Matroids in Lean☆18Updated last year
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆29Updated last year
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago