Change the repository type filter
All
Repositories list
69 repositories
mathlib4
Publicbatteries
Publiccon-nf
PublicA formal consistency proof of Quine's set theory New Foundationslean4game
Publicplausible
Publicduper
Publiclean-auto
Publicaesop
PublicProofWidgets4
Publicmathematics_in_lean
Publicquote4
Publicblog
Publiclean4-mode
PublicLeanSearchClient
PublicSyntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)sphere-eversion
Publicmathlib4_docs
Publicdoc-gen
PublicGenerate HTML documentation for mathlib and Leanlean4web
Publiclogic_and_proof
Publicrepl
PublicNNG4
Publiciris-lean
Publicmathport
Publicmathlib3port
Publiclean3port
Public