Information for RPM emacs-common-proofgeneral-4.4-11.20200506gitea62543.fc33.src.rpm
| ID | 614383 | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | emacs-common-proofgeneral | ||||||||||||||||||||
| Version | 4.4 | ||||||||||||||||||||
| Release | 11.20200506gitea62543.fc33 | ||||||||||||||||||||
| Epoch | |||||||||||||||||||||
| Arch | src | ||||||||||||||||||||
| 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 | 2020-05-20 23:06:13 GMT | ||||||||||||||||||||
| Size | 1.36 MB | ||||||||||||||||||||
| 8bebc757f058101870a0212259a6dadf | |||||||||||||||||||||
| License | GPLv2 | ||||||||||||||||||||
| Provides |
|
||||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||||
| Requires |
|
||||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||||
| Files |
|
||||||||||||||||||||
| Component of | No Buildroots | ||||||||||||||||||||
