Giters
tydeu
/
lean4-papyrus
An LLVM interface for Lean 4. (WIP)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
14
Watchers:
2
Issues:
0
Forks:
3
tydeu/lean4-papyrus Stargazers
abdul dakkak
abduld
Adrian Marti
adrianmartir
beike-zh
Christian Pehle
cpehle
Palalansoukî
iehality
Jarod
jshowacre
Leonardo de Moura
leodemoura
Preethesh Puthran
Puthranps
Ramon Fernández Mir
ramonfmir
Saul Shanabrook
saulshanabrook
Slavomir Kaslev
skaslev
Sunny Gonnabathula
sunny-g
王虚白
xubaiw
