Commit 2023-03-16 15:44 14e576f9
View on Github →feat: change
tactic (#2836)
This is an implementation of the change
tactic, whose syntax is declared in Lean 4 core.
feat: change
tactic (#2836)
This is an implementation of the change
tactic, whose syntax is declared in Lean 4 core.