LogoopenSUSE Build Service > Projects > home:radomir_cernoch:coq > Overview
Sign Up | Log In

Coq proof assistant

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

Comments for home:radomir_cernoch:coq (0)