Skip to content
@MetaRocq

MetaRocq

Pinned Loading

  1. metarocq Public

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

    Coq 437 88

Repositories

Showing 4 of 4 repositories
  • metarocq Public

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

    Coq 437 MIT 88 61 (1 issue needs help) 21 Updated Apr 18, 2025
  • rocq-verified-extraction Public
    Coq 13 MIT 4 0 1 Updated Apr 15, 2025
  • metarocq.github.io Public

    Website of the MetaRocq Project

    HTML 2 MIT 0 1 0 Updated Apr 10, 2025
  • tutorials Public
    Coq 3 MIT 0 0 0 Updated Dec 13, 2024

Top languages

Coq HTML