proof-general

4.5

Emacs-based generic interface for theorem provers

Install

brew install proof-general

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	4.5	File SHA-256 `442cead6b758711dd6705fa876978529d381b5d779078775af60536ae72cfc01`
Apple Silicon	Tahoe	4.5	File SHA-256 `4efbf2e4aacd72d00f58a2f6a0f0748790e44a22af1bf97543c29ce077c133de`
Apple Silicon	Sequoia	4.5	File SHA-256 `f0afc78703aed0f2cdd4ec47dc841b5bf2ecc69b52d7f4a1b3ef7c2189a127b4`
Apple Silicon	Sonoma	4.5	File SHA-256 `b0c27f7ce047eac700c1aa07cf9a723b54f4bb0d2f62ee2375bde197a5434af9`
Apple Silicon	Ventura	4.5	File SHA-256 `b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402`
Apple Silicon	Monterey	4.5	File SHA-256 `b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402`
Apple Silicon	Big Sur	4.5	File SHA-256 `b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402`
Intel	Sonoma	4.5	File SHA-256 `4c7ea3668b2b0df4de8eb60962f128fdbb26fbf1c7f72511c67a707c3d0c833c`
Intel	Ventura	4.5	File SHA-256 `e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b`
Intel	Monterey	4.5	File SHA-256 `e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b`
Intel	Big Sur	4.5	File SHA-256 `e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b`
ARM64	Linux	4.5	File SHA-256 `68fae82f1c9768c66e94b3a413a4b8c17ab7207629e1faf8645593a8bda8cfb5`
x86_64	Linux	4.5	File SHA-256 `b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402`

HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general