Commit 2021-09-29 16:59 a199b46a

View on Github →

feat(Tactic/Find): Sebastian's #find command (#51) From https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.23find

Estimated changes