UbuntuUpdates.org

Package "coq"

Name: coq

Description:

proof assistant for higher-order logic (toplevel and compiler)

Latest version: 8.20.1+dfsg-1
Release: plucky (25.04)
Level: base
Repository: universe
Homepage: http://coq.inria.fr/

Links


Download "coq"


Other versions of "coq" in Plucky

No other version of this package is available in the Plucky release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates