Learning Lean

Published 2025-11-24T00:56:00Z by Physics Derivation Graph

Naming conventions 

What are all the tactics?

https://leanprover-community.github.io/mathlib-manual/html-multi/Tactics/All-tactics/#all_tactics
https://brandonrozek.com/blog/leantactics/
https://www.ma.imperial.ac.uk/~buzzard/lean_together/source/tactics/guide.html