From Wikipedia, the free encyclopedia
coq-1This user is a beginning Coq programmer.