package coq-metacoq-utils

  1. Overview
  2. Homepage

Description

MetaCoq is a meta-programming framework for Coq.

Published: 28 Jan 2025

Dependencies (3)

  1. coq-equations = "1.3+8.19"
  2. coq >= "8.19" & < "8.20~"
  3. stdlib-shims

Dev Dependencies

None

Conflicts

None

Rocq

Interactive Theorem Prover