issues
search
leanprover-community
/
mathport
Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
40
stars
15
forks
source link
feat: update mathlib mod-tac-stx 2022-12-01
#212
Closed
digama0
closed
1 year ago
digama0
commented
1 year ago
Companion PR to leanprover-community/mathlib4#992.
Companion PR to leanprover-community/mathlib4#992.