Skip to content

Pinned Loading

  1. metacoq metacoq Public

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

    Coq 400 83

Repositories

Showing 3 of 3 repositories
  • tutorials Public
    MetaCoq/tutorials’s past year of commit activity
    Coq 3 MIT 0 0 0 Updated Dec 13, 2024
  • metacoq Public

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

    MetaCoq/metacoq’s past year of commit activity
    Coq 400 MIT 83 63 (1 issue needs help) 30 Updated Dec 7, 2024
  • metacoq.github.io Public

    Website of the MetaCoq Project

    MetaCoq/metacoq.github.io’s past year of commit activity
    HTML 2 MIT 0 1 0 Updated Apr 22, 2023

Top languages

Loading…

Most used topics

Loading…