Emacs-based generic interface for theorem provers

https://proofgeneral.github.io

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

(JSON API)

Formula code on GitHub

Current versions:

stable | ✅ | 4.4 |

head | ⚡️ | HEAD |

bottle | 🍾 | mojave, high_sierra, sierra, el_capitan |

Revision: **2**

Depends on:

emacs | 26.2 | GNU Emacs text editor |

Depends on when building from source:

texi2html | 5.0 | Convert TeXinfo files to HTML |

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

Analytics:

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

`proof-general` |
10 |

Installs on Request (30 days) | |

`proof-general` |
10 |

Build Errors (30 days) | |

`proof-general` |
0 |

Installs (90 days) | |

`proof-general` |
40 |

Installs on Request (90 days) | |

`proof-general` |
35 |

Installs (365 days) | |

`proof-general` |
315 |

Installs on Request (365 days) | |

`proof-general` |
295 |