apnelson1 / lean-matroidsLinks
Matroids in Lean
☆18Updated last year
Alternatives and similar repositories for lean-matroids
Users that are interested in lean-matroids are comparing it to the libraries listed below
Sorting:
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- ☆23Updated 3 years ago
- ☆11Updated last year
- ☆30Updated 3 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- System-wide Lean input method☆12Updated 3 years ago
- Lean 4 formalization of Rubik's cubes☆30Updated 3 months ago
- Leaff is a diff tool for Lean environments☆16Updated 4 months ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 3 years ago
- Plain-text declaration export for Lean 4☆16Updated last week
- Intuitive, type-safe expression quotations for Lean 4.☆85Updated this week
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆17Updated last month
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆61Updated 10 months ago
- Formal grammars in Lean 3☆8Updated last year
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years 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
- Very controlled natural language tactics for Lean☆64Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.