issues
search
leanprover-community
/
mathport
Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43
stars
15
forks
source link
bump: nightly-2022-05-03
#142
Closed
gebner
closed
2 years ago