Welcome to IntrastiBETA

Exploring the web so you don't have to. Here are the best finds.

1 result
Welcome to a World of Rocq coq.inria.fr Rocq is a general-purpose, industrial-strength interactive theorem prover.