3 ms·Anyone good at Coq? Need someone to work on some proofs2 points by panjaro 11y agoduncan_bayne 11y agoThat's what she said.