Geeks
tydeu
/
lean4-papyrus
An LLVM interface for Lean 4. (WIP)
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean4-papyrus GitHub
Markdown
Readme
0
Issues
15
Stargazers
2
Watchers
Stargazers
abduld
adrianmartir
beike-zh
cpehle
Cold Spring Harbor Laboratories
iehality
Tohoku University
jshowacre
leodemoura
AWS
Puthranps
Microsoft
ramonfmir
London
saulshanabrook
Greenfield, MA
skaslev
@payhawk
sunny-g
@NearSpaceLabs
utensil
xubaiw
ACEM, SJTU