emacs:common-proofgeneral packages - Repology

repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

1 package(s) known

Fedora Rawhide
^development

emacs-common-proofgeneral

4.5 (4.5-15.20240912git1ffca70.fc45)

Summary:
Emacs mode for standard interaction interface for proof assistants
Category:
- Unspecified
License:
- GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
Link(s):