Skip to content

Add packages for MetaCoq 1.3.3 on Coq 8.19#3315

Merged
mattam82 merged 1 commit intocoq:masterfrom yforster:coq-metacoq.1.3.3+8.19Jan 28, 2025

Commits

Commits on Jan 27, 2025