UbuntuUpdates.org

Package "proofgeneral-doc"

Name: proofgeneral-doc

Description:

generic frontend for proof assistants - documentation

Latest version: 4.4.1~pre170114-1.2
Release: focal (20.04)
Level: base
Repository: universe
Head package: proofgeneral
Homepage: https://proofgeneral.github.io/

Links


Download "proofgeneral-doc"


Other versions of "proofgeneral-doc" in Focal

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates