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.1 | GNU Emacs text editor |

Depends on when building from source:

texi2html | ✅ | 5.0 | Convert TeXinfo files to HTML |

texinfo | ✅ | 6.5 | Official documentation format of the GNU project |

Analytics:

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

`proof-general` |
33 |

`proof-general --HEAD` |
1 |

Installs on Request (30 days) | |

`proof-general` |
32 |

`proof-general --HEAD` |
1 |

Build Errors (30 days) | |

`proof-general` |
0 |

Installs (90 days) | |

`proof-general` |
115 |

Installs on Request (90 days) | |

`proof-general` |
110 |

Installs (365 days) | |

`proof-general` |
670 |

`proof-general --HEAD` |
18 |

Installs on Request (365 days) | |

`proof-general` |
544 |

`proof-general --HEAD` |
18 |