Thiago Felicissimo

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 08/29/2023

As the development of formal proofs is a time-consuming task, it is impo...

research

∙ 07/17/2023

We introduce CompLF, a logical framework allowing for the definition of ...

research

∙ 11/10/2022

As the development of formal proofs is a time-consuming task, it is impo...

research

∙ 05/05/2022

Dedukti is a very expressive logical framework which unlike most framewo...