Home > Uncategorized > Print release of a textbook on the Coq proof assistant

Print release of a textbook on the Coq proof assistant

December 13th, 2013 12:57 Leave a comment Go to comments