Giters
leodemoura
/
lean
Lean Theorem Prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
14
Watchers:
5
Issues:
0
Forks:
2
leodemoura/lean Stargazers
Максим Сохацький
5HT
DilsonHiga
Jun Liu
ericmm
Ivan Kuraj
ikuraj
Joe Hendrix
joehendrix
Joe Leong
joeleong
Kaíque P. Santos
KaiqueS
Leonardo de Moura
leodemoura
Michael
MichaelBurge
Miëtek Bak
mietek
Nino Tannio
nniinnoo
Nathan Collins
ntc2
Jose Abel Castellanos Joo
typesAreSpaces
youcanya
youcanya