/coq-fight

practice & setup up for fp-syd coq night

coq-fight

practice & setup up for fp-syd coq night