3 ms·Software Foundation and Coq looks like a fantastic resource. Thank you very much.by phonebucket 7y agoSoftware Foundation and Coq looks like a fantastic resource. Thank you very much.