Geeks
leanprover
/
lean4export
Plain-text declaration export for Lean 4
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean4export GitHub
Markdown
Readme
3
Issues
12
Stargazers
15
Watchers
Stargazers
alreadydone
Heidelberg / Shenzhen
andrejbauer
University of Ljubljana
bakerjd99
Meridian Idaho
bernborgess
danielepusceddu
Zurich, Switzerland
Julian
New York, NY
RustyCobalt36
saulshanabrook
Greenfield, MA
siddhartha-gadgil
Indian Institute of Science
utensil
VitSkakun