Enrico Tassi on Muck Rack

Enrico Tassi

Verified
London
As seen in: Tate Etc., Dazed Magazine
U14B Most Improved Player / @TateEtcMag
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 Enrico

Contact Enrico, 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

MetaCoq/metacoq: MetaCoq 1.3.2 for Coq 8.20

|
By Matthieu Sozeau, Théo Winterhalter, Simon Boulier, Yannick Forster, Jason Gross, Abhishek Anand, Meven Lennon-Bertrand, Gregory Malecha, Pierre-Marie Pédrot, Jakob Nielsen, Kenji Maillard, Gaëtan Gilbert, Danil Annenkov, Hugo Herbelin, Marcel Ullrich, Enrico Tassi , Maxime Dénès, Gabriel Scherer, Pierre Roux, Fabian Kunze, Pierre Rousselin, Andrej Dudenhefner, Jim Fehrle, Karl Palmskog
| zenodo.org
Release 1.3.2 of the MetaCoq project for Coq 8.20 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
Open in Who Shared Issue with article?

MetaCoq/metacoq: MetaCoq 1.3.2 for Coq 8.19

|
By Matthieu Sozeau, Théo Winterhalter, Simon Boulier, Yannick Forster, Jason Gross, Abhishek Anand, Meven Lennon-Bertrand, Gregory Malecha, Jakob Nielsen, Pierre-Marie Pédrot, Kenji Maillard, Danil Annenkov, Gaëtan Gilbert, Hugo Herbelin, Marcel Ullrich, Enrico Tassi , Maxime Dénès, Gabriel Scherer, Fabian Kunze, Pierre Roux, Xia Li-yao, Nada Amin, Vadim Zaliva, Lucas Escot, Yishuai Li, Vincent Laporte
| zenodo.org
Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
Open in Who Shared Issue with article?

MetaCoq/metacoq: MetaCoq 1.3.1 for Coq 8.19

|
By Matthieu Sozeau, Théo Winterhalter, Simon Boulier, Yannick Forster, Jason Gross, Abhishek Anand, Gregory Malecha, Jakob Nielsen, Pierre-Marie Pédrot, Kenji Maillard, Danil Annenkov, Gaëtan Gilbert, Hugo Herbelin, Marcel Ullrich, Enrico Tassi , Maxime Dénès, Meven Lennon-Bertrand, Gabriel Scherer, Fabian Kunze, Pierre Roux, Vadim Zaliva, Nada Amin, Xia Li-yao, Lucas Escot, Yishuai Li, Vincent Laporte
| zenodo.org
We are happy to announce release 1.3.1 of the MetaCoq project for Coq 8.19, available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations. The main changes in this new version w.r.t. v1.2.1 are: A full integration of the typed erasure phase from the ConCert project in the erasure pipeline, with a complete correctness proof, by @mattam82. Use option MetaCoq Erase -typed to switch it on.
Open in Who Shared View Duplicates (2) Issue with article?
See all 5 articles

Actions

Share this page

Get in touch with Enrico

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

Learn more about Muck Rack
 •  Privacy  •  Terms  •  Security and Legal  •   •   •   • 

© 2026 Muck Rack

SOC 2® Certified