Geeks
leanprover-community
/
mathlib3port
Synport output from mathport for mathlib3
Primary Language
Lean
mathlib3port GitHub
Markdown
Readme
0
Issues
11
Stargazers
17
Watchers
Stargazers
adrianmartir
alreadydone
Heidelberg / Shenzhen
gebner
Microsoft Research
hargoniX
Lean FRO
Komyyy
Tokyo University of Science
maxwell-thum
omasanori
Japan, or anywhere else
ramonfmir
London
seanpm2001
Self-employed; looking for tips
tch1001
xubaiw
ACEM, SJTU