There is a newer version of the record available.

Published October 11, 2022 | Version v1.1.1-8.16
Software Open

MetaCoq/metacoq: MetaCoq 1.1.1 for Coq 8.16

Description

MetaCoq 1.1.1 is a patch release of MetaCoq 1.1 removing unsafe extraction directives and with support for printing floating point values.

See https://github.com/MetaCoq/metacoq/releases/tag/v1.1-8.16 for the 1.1 release notes.

Files

MetaCoq/metacoq-v1.1.1-8.16.zip

Files (3.8 MB)

Name Size Download all
md5:4a29a6f95a9272372f769810bc4d493a
3.8 MB Preview Download

Additional details

Related works