Login
From:
Rocq
(Uncensored)
subscribe
Welcome to a World of Rocq
https://rocq-prover.org/
links
backlinks
Roast topics
Find topics
Find it!
Rocq is a general-purpose, industrial-strength interactive theorem prover.
