Language

Package: proof-general @ 4.4-1.1b1083e

Synopsis

Generic front-end for proof assistants based on Emacs

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.

Home page
https://proofgeneral.github.io/
Location
gnu/packages/coq.scm (line: 148, column: 4)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/yykza0gpv23vwj7lxdkhr2g1mp9xz6yj-proof-general-4.4-1.1b1083e.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/j9ipa9wx9v2cr5x8x4plsppk2qpk7gls-proof-general-4.4-1.1b1083e.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/cpc5mpsv7wnbcf9c4hkrc8y6rhk28sfi-proof-general-4.4-1.1b1083e.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/9cs560lld0sqkvsmsh6al9y2d5488cnb-proof-general-4.4-1.1b1083e.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/sfs4snvysv6jq05ln91xfc64avkcwwlh-proof-general-4.4-1.1b1083e.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/fschg3qpcgbfm6a06hjffjf1zsil3j90-proof-general-4.4-1.1b1083e.drv
x86_64-linuxi686-w64-mingw32/gnu/store/az0k4axd7b253wr9k0d7ds74bpinsrkr-proof-general-4.4-1.1b1083e.drv
x86_64-linuxi586-pc-gnu/gnu/store/2rd3pf6797124w775wqzl9sgwp6dmhcz-proof-general-4.4-1.1b1083e.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/3abnzv0shz02v84k4crgaskqr5wkc7l1-proof-general-4.4-1.1b1083e.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/ngfkv42jy7a5wldb4frpgr83i70n1xag-proof-general-4.4-1.1b1083e.drv
riscv64-linux/gnu/store/33iim5y6y66hdnf5yhrz8p1plambvl5h-proof-general-4.4-1.1b1083e.drv
    powerpc-linux/gnu/store/6pkrj1jjrj4y7ixi6l16as8jck9n8yqv-proof-general-4.4-1.1b1083e.drv
      powerpc64le-linux/gnu/store/77aznwyx1na2my41gfvd28ca0h8fdivy-proof-general-4.4-1.1b1083e.drv
      mips64el-linux/gnu/store/y6rjgwx7xas0yny2ikjvcsyjidyvqz4p-proof-general-4.4-1.1b1083e.drv
        i686-linux/gnu/store/i9vm28z1ky8vp5wq0c4gaq7hmx5z8g6j-proof-general-4.4-1.1b1083e.drv
        i586-gnu/gnu/store/12pyyffjbsb3ri5ljhv44z2h5f1dy7q2-proof-general-4.4-1.1b1083e.drv
        armhf-linux/gnu/store/yfj42inw4k6kmkj2xjr0b68v0nnvqkz2-proof-general-4.4-1.1b1083e.drv
        aarch64-linux/gnu/store/blcf79kd5cd7yj8bh059ymlm2xx6lfia-proof-general-4.4-1.1b1083e.drv

        Lint warnings

        LinterMessageLocation
        input-labels

        Identify input labels that do not match package names

        label 'emacs' does not match package name 'emacs-minimal'