MetaCoq

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

MetaCoq/metacoq’s past year of commit activity

Coq 373 MIT 80 56 (1 issue needs help) 24 Updated Oct 16, 2024
tutorials Public

MetaCoq/tutorials’s past year of commit activity

Coq 2 MIT 0 0 0 Updated Jan 14, 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

Provide feedback