了解各种tactics的原理

林一二2024年05月28日 19:16

学Lean 我的求知欲

Undefined widget 'supertag-form'

Code
https://github.com/Seasawher/mathlib4-tactics/blob/main/src/tactics.md