About The Rocq Prover

Interactive Theorem Prover and Dependently-Typed Programming Language.

Lists

Timeline

RocqProver has no activity yet