Proof General in Breadstick
Breadstick runs Debian's own proofgeneral package for ARM64, the build a Debian 13 computer with an ARM processor installs, so Proof General should look and behave as it does on a Linux PC. On Samsung DeX, Floating mode opens it as its own window beside your Android apps, and Desktop mode runs it on a full Linux desktop.
Compilers and interpreters run on the device's own ARM64 processor, while containers and virtual machines, which need a kernel of their own, cannot run. More about development tools in Breadstick.
About Proof General
From Debian's package description
Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.
This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)
From Debian's description of the proofgeneral package, under that package's license.
- Keywords
- Coq IDE, proof assistant
- Menu categories
- IDE, Math, Text editors, Development
Related apps
Sources and licenses
- Name and summary: the desktop entry in Debian's proofgeneral package, under that package's license.
- Description: Debian's description of the proofgeneral package, under that package's license.
- Icon: the project's own, from Debian's AppStream icon cache for the proofgeneral package.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.