Emacs-based generic interface for theorem provers

https://proofgeneral.github.io

License: **GPL-2.0**

`/api/formula/proof-general.json`

(JSON API)

Formula code on GitHub

Current versions:

stable | ✅ | 4.4 |

head | ⚡️ | HEAD |

bottle | 🍾 | catalina, mojave, high_sierra |

Revision: **2**

Depends on:

emacs | 27.1 | GNU Emacs text editor |

Depends on when building from source:

texi2html | 5.0 | Convert TeXinfo files to HTML |

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

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

Analytics:

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

`proof-general` |
18 |

Installs on Request (30 days) | |

`proof-general` |
17 |

Build Errors (30 days) | |

`proof-general` |
0 |

Installs (90 days) | |

`proof-general` |
39 |

Installs on Request (90 days) | |

`proof-general` |
35 |

Installs (365 days) | |

`proof-general` |
158 |

Installs on Request (365 days) | |

`proof-general` |
145 |