coq

Agentic Coding Software Engineering Python Events Conference Code review Programming Rust Databases Docker

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