Information for RPM emacs-common-proofgeneral-4.4-9.fc31.src.rpm
ID | 467892 | ||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | emacs-common-proofgeneral | ||||||||||||||||||||||
Version | 4.4 | ||||||||||||||||||||||
Release | 9.fc31 | ||||||||||||||||||||||
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 | 2019-07-24 23:25:56 GMT | ||||||||||||||||||||||
Size | 13.53 MB | ||||||||||||||||||||||
ede5a4599ba92221b3fb1b9b7378555c | |||||||||||||||||||||||
License | GPLv2 | ||||||||||||||||||||||
Provides | No 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 |