Enrico Tassi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Andrea Asperti
13 publications
Elaine Pimentel
13 publications
Karl Palmskog
9 publications
Wilmer Ricciotti
8 publications
Théo Zimmermann
6 publications
Claudio Sacerdoti Coen
6 publications

research

∙ 03/18/2022

Reliably Reproducing Machine-Checked Proofs with the Coq Platform

The Coq Platform is a continuously developed distribution of the Coq pro...

0 Karl Palmskog, et al. ∙

research

∙ 07/14/2021

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Logical frameworks and meta-languages form a common substrate for repres...

0 Elaine Pimentel, et al. ∙

research

∙ 02/22/2012

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

The paper describes the refinement algorithm for the Calculus of (Co)Ind...

0 Andrea Asperti, et al. ∙