jsm28 / AperiodicMonotilesLeanLinks
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
☆14Updated 2 weeks ago
Alternatives and similar repositories for AperiodicMonotilesLean
Users that are interested in AperiodicMonotilesLean are comparing it to the libraries listed below
Sorting:
- Conservative floating point interval arithmetic in Lean☆18Updated last week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆38Updated last month
- WIP collections library for Lean 4☆32Updated 3 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Updated 5 months ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆74Updated 2 weeks ago
- ☆53Updated last week
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- ☆16Updated 4 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 9 months ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 3 years ago
- ☆21Updated last year
- Formalizing convex polyhedra in Coq☆25Updated last year
- Lean 4 formalization of Rubik's cubes☆33Updated 6 months ago
- ☆31Updated 2 years ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last month
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆17Updated last week
- tool for turning Lean proofs into Blender animations☆74Updated last month
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 9 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- ☆16Updated 4 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆20Updated 2 months ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Lean type-checker written in Scala.☆36Updated 3 years ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Updated last month