I have a blog (http://poleiro.info) about the Coq proof assistant, please check it out!
Q&A for professional and enthusiast programmers
Joined 2 years ago, last seen today
Q&A for Ubuntu users and developers
Joined 3 months ago, last seen 4 days ago