Showing entries 1-31 out of 31.
Language server for the vsrocq vscode/codium extension
Language server for the vsrocq vscode/codium extension
Rocq plugin embedding ELPI
Rocq plugin embedding ELPI
High level commands to declare a hierarchy based on packed classes
High level commands to declare a hierarchy based on packed classes
Rocq development of the Iris Project
Rocq development of the Iris Project
Small library to do epsilon - N reasonning
Small library to do epsilon - N reasonning
Finset and finmap library
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
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
Total parser combinators in Rocq
Relation algebra library for Rocq
Rocq Proof Assistant -- Standard Library
Rocq Proof Assistant -- Standard Library
Extended “Standard Library” for Rocq
Extended “Standard Library” for Rocq