Install command:

Emacs-based generic interface for theorem provers

https://proofgeneral.github.io

License: **GPL-2.0**

Formula JSON API: `/api/formula/proof-general.json`

Bottle JSON API: `/api/bottle/proof-general.json`

Formula code: `proof-general.rb`

on GitHub

Bottle (binary package) installation support provided for:

Intel | monterey | ✅ |
---|---|---|

big sur | ✅ | |

catalina | ✅ | |

mojave | ✅ | |

high sierra | ✅ | |

64-bit linux | ✅ | |

Apple Silicon | monterey | ✅ |

big sur | ✅ |

Current versions:

stable |
✅ | 4.4 |

head |
⚡️ | HEAD |

Revision: **2**

Depends on:

emacs | 27.2 | GNU Emacs text editor |

Depends on when building from source:

texi2html | 5.0 | Convert TeXinfo files to HTML |

texinfo | 6.8 | Official documentation format of the GNU project |

HTML documentation is available in: $(brew --prefix)/share/doc/proof-general |

Analytics (macOS):

Installs (30 days) | |
---|---|

`proof-general` |
5 |

Installs on Request (30 days) | |

`proof-general` |
5 |

Build Errors (30 days) | |

`proof-general` |
0 |

Installs (90 days) | |

`proof-general` |
20 |

Installs on Request (90 days) | |

`proof-general` |
20 |

Installs (365 days) | |

`proof-general` |
91 |

Installs on Request (365 days) | |

`proof-general` |
90 |

Analytics (Linux):

Installs (30 days) | |
---|---|

`proof-general` |
0 |

Installs on Request (30 days) | |

`proof-general` |
0 |

Build Errors (30 days) | |

`proof-general` |
0 |

Installs (90 days) | |

`proof-general` |
0 |

Installs on Request (90 days) | |

`proof-general` |
0 |

Installs (365 days) | |

`proof-general` |
2 |

Installs on Request (365 days) | |

`proof-general` |
2 |