Coq proof assistant

This project aims at building the Coq proof assistant together with all its libraries.

Name Changed
Comments 0
No comments available
openSUSE Build Service is sponsored by