Geeks
leanprover-community
/
lean4web
The Lean 4 web editor
Primary Language
TypeScript
Apache License 2.0
Apache-2.0
lean4web Home Page
lean4web GitHub
Markdown
Readme
35
Issues
65
Stargazers
9
Watchers
Watchers
abentkamp
alreadydone
Heidelberg / Shenzhen
eemailme
jhcloos
joneugster
Düsseldorf, DE
matematiflo
Heidelberg University
PatrickMassot
Paris
seanpm2001
Self-employed; looking for tips
Seasawher
Proxima Technology