Geeks
leanprover
/
verso
Lean documentation authoring tool
Primary Language
Lean
Apache License 2.0
Apache-2.0
verso GitHub
Markdown
Readme
35
Issues
108
Stargazers
12
Watchers
Watchers
david-christiansen
Copenhagen, Denmark
eemailme
ejgallego
Inria
gleachkr
Draper Laboratory
kmill
Santa Cruz, California
leodemoura
AWS
mihaimaruseac
Google
nomeata
@dfinity-lab
TwoFX
Lean FRO