Skip to content
@MetaRocq

MetaRocq

Pinned Loading

  1. metarocq metarocq Public

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

    Rocq Prover 554 99

Repositories

Showing 5 of 5 repositories
  • metarocq Public

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

    MetaRocq/metarocq's past year of commit activity
    Rocq Prover 554 MIT 99 65 (1 issue needs help) 31 Updated Sep 22, 2026
  • rocq-verified-extraction Public

    Verified Extraction from Rocq to OCaml/Malfunction

    MetaRocq/rocq-verified-extraction's past year of commit activity
    Rocq Prover 18 MIT 6 0 1 Updated Aug 3, 2026
  • nested-eliminators Public

    Derivation of sparse parametricity and nested eliminators

    MetaRocq/nested-eliminators's past year of commit activity
    Rocq Prover 2 MIT 1 0 0 Updated Apr 24, 2026
  • tutorials Public
    MetaRocq/tutorials's past year of commit activity
    Coq 5 MIT 0 0 0 Updated Mar 16, 2026
  • metarocq.github.io Public

    Website of the MetaRocq Project

    MetaRocq/metarocq.github.io's past year of commit activity
    HTML 2 MIT 0 1 0 Updated Sep 16, 2025

Top languages

Loading…

Most used topics

Loading…