Showing entries 101-109 out of 109.
Micromega tactics for Mathematical Components
Plugin for (semi)decision procedures for arithmetic
Total parser combinators in Rocq
Relation algebra library for Rocq
RocqIDE user interface for the Rocq Prover
The Rocq Prover, XML protocol server
Rocqnavi: an HTML documentation generator for Rocq prover
Rocq Proof Assistant -- Standard Library
Extended “Standard Library” for Rocq