coq

Programming Clojure and ClojureScript Software Engineering Weeknote Photography Python Events Code review Yearnote Nature

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