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
Joe Leong
joeleong
Miëtek Bak
mietek
DilsonHiga
Leonardo de Moura
leodemoura
Nathan Collins
ntc2
Joe Hendrix
joehendrix
Максим Сохацький
5HT
Ivan Kuraj
ikuraj
youcanya
youcanya
Jun Liu
ericmm
Michael
MichaelBurge
Kaíque P. Santos
KaiqueS
Jose Abel Castellanos Joo
typesAreSpaces
Nino Tannio
nniinnoo
