cufp-2015-tutorial

Coq ★ 1 updated 10y ago ⑂ fork

An introductory tutorial for the Coq proof assistant.

No plain-English explanation yet — one is being written right now. Check back in a minute.