profile
viewpoint

leanprover/lean

Lean Theorem Prover

http://leanprover.github.io/

leanprover

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

leodemoura
soonhokong
gebner
Kha
avigad
fpvandoorn
digama0
robertylewis
johoelzl
nunoplopes
joehendrix
levnach
htzh
jroesch
UlrikBuchholtz
semorrison
favonia
david-christiansen
Zimmi48
fgdorais
diakopter
emberian
dselsam
c-cube
syohex
skbaek
JacobGross
spl
khoek
Armael
bryangingechen
joshpoll
rwbarton
solson
eigengrau
cipher1024
ratmice
zjhmale