leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

add tactic list of mathlib4

Open Seasawher opened this issue 1 year ago • 0 comments

may I open a PR?

see: https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Mathlib4.20tactics.20list.3F/near/433066915

Seasawher avatar Apr 15 '24 07:04 Seasawher