Explore index

Rocq

An interactive theorem prover (formerly Coq) used for writing machine-verifiable mathematical proofs and software correctness pr

No public content is connected to this entity yet.