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
Watchers
alreadydone
Heidelberg / Shenzhen
ammkrn
david-christiansen
Copenhagen, Denmark
digama0
Chalmers University of Technology
eemailme
jcommelin
—
Kha
Lean FRO
kmill
Santa Cruz, California
leodemoura
AWS
mhuisi
Lean FRO
nomeata
@dfinity-lab
pstetson53
semorrison
Canberra
TwoFX
Lean FRO
tydeu
Lean FRO