3 ms·I'm pretty sure that Coq is a puzzle game itself, masquerading as a proof assistant!by gmfawcett 4y agoI'm pretty sure that Coq is a puzzle game itself, masquerading as a proof assistant!