Move find_it tactic (or better substitute) to generalTactics

lean-catLogic / formalization

Formalization of Categorical Logic in the Lean proof assistant

https://lean-catLogic.github.io

3 stars 0 forks source link

Closed jacobneu closed 1 year ago

jacobneu commented 1 year ago

Leftover issue from #4

jacobneu commented 1 year ago

find_it was deleted in #5, replaced by simp.