JetLib News
Automatically Filtered News
Home
About
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
admin
Leave a comment
Go to comments