proof-playground A Coq/Rocq playground for experimenting with proofs and ideas. Built for fun and learning.