Derek Rhodes
Results
1
comments of
Derek Rhodes
Hi @jiamingkong, I'm not affiliated with this project. However, I do have a few links that may help. | Tactic resource description |Link | |:--|:--| | Comprehensive list | https://github.com/haruhisa-enomoto/mathlib4-all-tactics/blob/main/all-tactics.md|...