mscroggs / Logic-Bot
@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 2 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆12Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated 2 weeks ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- Formalization of the existence of sphere eversions☆40Updated this week
- Metamath verifier in Python☆38Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- A program for drawing knots and links, with support for importing images☆31Updated last year
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- MathWebSearch Implementation☆48Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- CAP project -- Categories, Algorithms, and Programming☆26Updated 2 weeks ago
- An Interactive Discrete Mathematics Framework for GAP☆9Updated 5 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Native Jupyter kernel for GAP☆19Updated 2 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated 2 weeks ago
- ☆23Updated 2 years ago
- A Lean file formatter☆67Updated 2 years ago
- Deposited packages of the homalg project☆13Updated 2 weeks ago
- Homebrew tap for GAP☆14Updated 11 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Generate HTML documentation for mathlib and Lean☆21Updated 7 months ago
- Commutative diagrams with TikZ☆51Updated 2 years ago