Lists (13)
Stars
11
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A project to map out the relations between different equational theories of Magmas.
Helper toolkit for creating your own Lean 4 UserWidgets
Formalization of the existence of sphere eversions
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.