coq

v 8.13.2

Obsolete port, replaced by rocq

This port has been replaced by rocq.

https://rocq-prover.org/

Add to my watchlist

Installations 1
Requested Installations 0