Enrico Tassi - Profile and Journalist Details
Find journalists that align with your industry, location and vision. Unlock Enrico Tassi's full journalist profile, including location, coverage topics, current employer, biography and preferences. Sign up today and start building journalist relationships that fuel your startup's growth.
Get connected with journalists today
Enrico Tassi
Verified
Assistant Editor, Tate Etc.
London
Beats
Politics, and Women’s Rights Lifestyle, Culture Fashion, ArtsNews
musc, pop
Content
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 Verified, 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.
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 Verified, 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.
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 Verified, 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.
Company Info
Tate Etc.
London, United Kingdom