🐓 Coq Playground Toying around with The Coq Proof Assistant. Thematically related to my Lean4 Playground.