search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
41 stars 15 forks source link

chore: remove `ext id` and `ancestor` attrs #179

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

also fixes the issue from #178