Home | Blog | Wiki | About

• A list of some builtin Ltac tactics
• General stuff
• ind-s and rec-s of types
• Numbers in Coq
• Notations
• Some mathcomp stuff
• ssreflect
• Equations
• Some Coq packages

Links

• https://github.com/coq-community/awesome-coq#books