{"name":"ProofGeneral","portdir":"math/ProofGeneral","version":"4.2","license":"unknown","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://proofgeneral.inf.ed.ac.uk/","description":"An emacs mode for interactive prooving","long_description":"The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.","active":true,"categories":["math"],"maintainers":[],"variants":[],"dependencies":[{"type":"build","ports":["clang-18"]}],"depends_on":[]}