issues
search
leanprover-community
/
mathport
Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
41
stars
15
forks
source link
Remove references to `HasZero`/`HasOne`
#196
Closed
gebner
closed
1 year ago
gebner
commented
1 year ago
I
think
this fixes #192
I think this fixes #192