Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Collapse sidebar
openSUSE:Backports:SLE-15-SP5:Update
coq
Overview
Meta Configuration of Package coq
<package name="coq" project="openSUSE:Backports:SLE-15-SP5"> <title>The Coq Proof Assistant</title> <description>Coq is a proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. </description> </package>
Locations
Projects
Search
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects