leanprover-community / mathport

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

Skip skip #112

Open gebner opened 2 years ago

gebner commented 2 years ago

That is, clean up tac <;> skip or by skip; tac.