Rocq 9.2.0 Released

(rocq-prover.org) by baruchel | Apr 7, 2026 | 0 comments on HN