learn-coq. various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.