8000 MetaRocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@MetaRocq

MetaRocq

Pinned Loading

  1. metarocq metarocq Public

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

    Coq 443 88

Repositories

Showing 4 of 4 repositories
  • metarocq Public

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

    MetaRocq/metarocq’s past year of commit activity
    Coq 443 MIT 88 62 (1 issue needs help) 23 Updated May 8, 2025
  • rocq-verified-extraction Public

    Verified Extraction from Rocq to OCaml/Malfunction

    MetaRocq/rocq-verified-extraction’s past year of commit activity
    Coq 13 MIT 4 0 1 Updated Apr 24, 2025
  • 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 10, 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…
0