3110 Coq Tactics Cheatsheet (via gnyeki) — discussion

#formalmethods