Skip to content
@MetaRocq

MetaRocq

Pinned Loading

  1. metarocq metarocq Public

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

    Coq 435 86

Repositories

Showing 4 of 4 repositories
  • 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 Apr 8, 2025
  • rocq-verified-extraction Public
    MetaRocq/rocq-verified-extraction’s past year of commit activity
    Coq 13 MIT 4 0 0 Updated Apr 8, 2025
  • metarocq Public

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

    MetaRocq/metarocq’s past year of commit activity
    Coq 435 MIT 86 61 (1 issue needs help) 21 Updated Apr 8, 2025
  • tutorials Public
    MetaRocq/tutorials’s past year of commit activity
    Coq 3 MIT 0 0 0 Updated Dec 13, 2024

Top languages

Loading…

Most used topics

Loading…