Skip to content
@MetaRocq

MetaRocq

Pinned Loading

  1. metarocq Public

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

    Coq 430 86

Repositories

Showing 3 of 3 repositories
  • metarocq Public

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

    Coq 430 MIT 86 61 (1 issue needs help) 32 Updated Mar 31, 2025
  • metarocq.github.io Public

    Website of the MetaRocq Project

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

Top languages

Loading…

Most used topics

Loading…