Information for RPM emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm
ID | 1252629 | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Name | emacs-common-proofgeneral | |||||||||
Version | 4.5 | |||||||||
Release | 7.fc40 | |||||||||
Epoch | ||||||||||
Arch | noarch | |||||||||
Summary | Emacs mode for standard interaction interface for proof assistants | |||||||||
Description | Proof General is a generic front-end for proof assistants (also known as interactive theorem provers) based on Emacs. Proof General allows one to edit and submit a proof script to a proof assistant in an interactive manner: - It tracks the goal state, and the script as it is submitted, and allows for easy backtracking and block execution. - It adds toolbars and menus to Emacs for easy access to proof assistant features. - It integrates with Emacs Unicode support for some provers to provide output using proper mathematical symbols. - It includes utilities for generating Emacs tags for proof scripts, allowing for easy navigation. Proof General supports a number of different proof assistants (Isabelle, Coq, PhoX, and LEGO to name a few) and is designed to be easily extendable to work with others. | |||||||||
Build Time | 2024-01-24 10:23:17 GMT | |||||||||
Size | 1.03 MB | |||||||||
86157ed02398b41cf40432edd99a3c43 | ||||||||||
License | GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0 | |||||||||
Provides |
|
|||||||||
Obsoletes | No Obsoletes | |||||||||
Conflicts | No Conflicts | |||||||||
Requires |
|
|||||||||
Recommends |
|
|||||||||
Suggests | No Suggests | |||||||||
Supplements | No Supplements | |||||||||
Enhances | No Enhances | |||||||||
Files | ||||||||||
Component of |
|