Arthur Azevedo De Amorim

Philadelphia, PA

http://cis.upenn.edu/~arthuraa

I have a blog (http://poleiro.info) about the Coq proof assistant, please check it out!

Top Answers
1 2 3 4