| Tag: isabelle 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: emacs theorem-proving formal-methods proof-assistant coq | ||
| Package | Description | Version |
|---|---|---|
| proof-general ☆ formula | Emacs-based generic interface for theorem provers | |