UbuntuUpdates.org

Package "proofgeneral"

Name: proofgeneral

Description:

generic frontend for proof assistants

Latest version: 4.5-1
Release: noble (24.04)
Level: base
Repository: universe
Homepage: https://proofgeneral.github.io/

Links


Download "proofgeneral"


Other versions of "proofgeneral" 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