posts about Coq

Coq is an interactive theorem prover. I've been interested in it for a long time and I've written a few posts about it. I'm especially interested in Coq's usage in formalized mathematics. If you see interesting links about that, let me know!

2016

• Finding that lemma: Coq search commandsApr 19
• How to divide by zero?Apr 12
• Elementary algebra in Coq: Trivial groupMar 1
• Elementary algebra in Coq: Defining a groupFeb 16
• What's in a proof?Feb 9
• Getting started with CoqFeb 2

2015

• Setting up Coq, Ssreflect and Proof General on OS XJan 17