Posts
Projects
About
Tags
Entries tagged :: theorem-proving
.
2025-01-11
The Rocq proof assistant
Overview of Rocq as a programming language and theorem prover.
Read more ⟶
