Install command:

Emacs-based generic interface for theorem provers

https://proofgeneral.github.io

License: **GPL-3.0-or-later**

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 | ventura | ✅ |
---|---|---|

monterey | ✅ | |

big sur | ✅ | |

64-bit linux | ✅ | |

Apple Silicon | ventura | ✅ |

monterey | ✅ | |

big sur | ✅ |

Current versions:

stable |
✅ | 4.5 |

head |
⚡️ | HEAD |

Depends on:

emacs | 28.2 | GNU Emacs text editor |

Depends on when building from source:

texi2html | 5.0 | Convert TeXinfo files to HTML |

texinfo | 7.0.1 | 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` |
8 |

`proof-general --HEAD` |
3 |

Installs on Request (30 days) | |

`proof-general` |
8 |

`proof-general --HEAD` |
3 |

Build Errors (30 days) | |

`proof-general` |
0 |

Installs (90 days) | |

`proof-general` |
50 |

`proof-general --HEAD` |
3 |

Installs on Request (90 days) | |

`proof-general` |
50 |

`proof-general --HEAD` |
3 |

Installs (365 days) | |

`proof-general` |
144 |

`proof-general --HEAD` |
3 |

Installs on Request (365 days) | |

`proof-general` |
144 |

`proof-general --HEAD` |
3 |

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` |
1 |

Installs on Request (90 days) | |

`proof-general` |
1 |

Installs (365 days) | |

`proof-general` |
2 |

Installs on Request (365 days) | |

`proof-general` |
2 |