Skip To Main Content
Nicolas Tabareau on Muck Rack

Nicolas Tabareau

As seen in: ACM - Association for Computing Machinery
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Nicolas

Contact Nicolas, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

MetaRocq/metarocq: MetaRocq 1.4 for Rocq 9.0

|
By Matthieu Sozeau, Théo Winterhalter, Yannick Forster, Nicolas Tabareau
| zenodo.org
This release implements the renaming from Coq to Rocq, MetaCoq to MetaRocq and TemplateCoq to TemplateRocq. As such, it is incompatible with previous releases. From the user point of view, you will need to adapt your Require Imports from From MetaCoq. to From MetaRocq. and a few utility modules (in MetaRocq.utils) changed names from MC to MR, e.g. MCList becomes MRList, which will affect qualified references to these modules. The commands MetaCoq Run, SafeCheck etc... have also been renamed.
Open in Who Shared Issue with article?

MetaCoq/metacoq: MetaCoq 1.3.4 for Rocq 9.0

|
By Matthieu Sozeau, Théo Winterhalter, Nicolas Tabareau, Yannick Forster
| zenodo.org
MetaCoq 1.3.4 for Rocq 9.0 (including rc1).
Open in Who Shared Issue with article?

MetaCoq/metacoq: MetaCoq 1.3.4 for Coq 8.20

|
By Matthieu Sozeau, Théo Winterhalter, Nicolas Tabareau, Yannick Forster
| zenodo.org
Published January 27, 2025 | Version v1.3.4-8.20 Software Open This release subsumes MetaCoq 1.3.3 for Coq 8.19. It fixes some bugs and provides a rudimentary meta-programming library. What's Changed Fix quoting and unquoting of primitive strings (#1109) for 8.20 by @yforster in https://github.com/MetaCoq/metacoq/pull/1110 metaprogramming library (8.20 version) by @MathisBD in https://github.com/MetaCoq/metacoq/pull/1122 Remove bugged option MetaCoq Template Monad Debug.
Open in Who Shared Issue with article?
See all 4 articles