rocq

Here are 4 public repositories matching this topic...

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

metaprogramming coq coq-formalization rocq

A Rocq version of the miniF2F dataset

coq dataset rocq

WIP Local computation rules in type theory

coq type-theory coq-formalization rocq

Proof checker from scratch in Python and coq / rocq

python coq proof ontology ontologies ontology-engineering rocq

Add a description, image, and links to the rocq topic page so that developers can more easily learn about it.

To associate your repository with the rocq topic, visit your repo's landing page and select "manage topics."