Showing entries 1-26 out of 26.
Language server for the vsrocq vscode/codium extension
Rocq Prover
Rocq plugin embedding ELPI
High level commands to declare a hierarchy based on packed classes
Rocq development of the Iris Project
Small library to do epsilon - N reasonning
Finset and finmap library
Analysis library compatible with Mathematical Components
Analysis library compatible with Mathematical Components
Analysis library compatible with Mathematical Components
Analysis library compatible with Mathematical Components
Analysis library compatible with Mathematical Components
Analysis library compatible with Mathematical Components
Total parser combinators in Rocq
Relation algebra library for Rocq
Rocq Proof Assistant -- Standard Library
Extended “Standard Library” for Rocq