I have a blog (http://poleiro.info) about the Coq proof assistant, please check it out!
Q&A for professional and enthusiast programmers
Joined 1 year ago, last seen yesterday
Q&A for Ubuntu users and developers
Joined 1 month ago, last seen 7 days ago