Verified record · from the answer index

rocq

clitested · static-verifiedscore 33/100signed passport ✓928 monthly downloads

Proof assistant for higher-order logic

cli:brew:rocq · published by rocq-prover · source repository