Resúmenes de Lean
1 Resúmenes breves de Lean
- Aide-mémoire Lean. ~ Patrick Massot.
- Basic guide to tactis. ~ Kevin Buzzard.
- Coq to Lean Tactic Cheatsheet. ~ Joey Dodds.
2 Resúmenes amplios de Lean
3 Resúmenes de Coq
- Coq cheat sheet. ~ Wen Kokke y Chad Nester
- Coq Tactics Cheatsheet.