rocq

9.3.0

Proof assistant for higher-order logic

Install

brew install rocq

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	9.3.0	File SHA-256 `aa8e3bcb62ef598b8fed867c758c42c10e5e59a02caee260ff18988518d3a8c0`
Apple Silicon	Tahoe	9.3.0	File SHA-256 `034125ee4c09f42e6a3a25b04fd86b5f26898be6cc36523d6203590f90428708`
Apple Silicon	Sequoia	9.3.0	File SHA-256 `92baae84953c61311baab80628130dd32a72bfb4927010506693984f202487a0`
ARM64	Linux	9.3.0	File SHA-256 `bcfa77c3473be7e8f2bf44480e6e701ad570fbcf034673f1b444db68985fadf2`
x86_64	Linux	9.3.0	File SHA-256 `edb9f518845541984014fd9d77f350482b17dc07ee057e00bb4b570b3bc9aeab`