The Coq proof assistant was the former name of the Rocq Prover

icon indicating a website link https://github.com/rocq-prover

Results 0 comments of The Coq proof assistant was the former name of the Rocq Prover
trafficstars