UbuntuUpdates.org

Package "coq-hierarchy-builder"

Name: coq-hierarchy-builder

Description:

build hierarchies of algebraic structures in Coq (tool)

Latest version: 1.6.0-1build5
Release: noble (24.04)
Level: base
Repository: universe
Homepage: https://github.com/math-comp/hierarchy-builder

Links


Download "coq-hierarchy-builder"


Other versions of "coq-hierarchy-builder" in Noble

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates