Welcome to a World of Rocq

rocq-prover.org

Rocq is a general-purpose, industrial-strength interactive theorem prover.

立即前往返回首页