Ana de Almeida Borges | DeepAI

DeepAI

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

Featured Co-authors

Joost J. Joosten
5 publications
Eduardo Hermo Reyes
2 publications
Bjørn Jespersen
1 publication
Jorge del Castillo Tierz
1 publication
Juan José Conejero Rodríguez
1 publication
Eric Sancho Adamson
1 publication
Aleix Solé Sánchez
1 publication
Nika Pona
1 publication
Mireia González Bedmar
1 publication
Juan Conejero Rodríguez
1 publication
Joaquim Casals Buñuel
1 publication

research

∙ 09/28/2022

FV Time: a formally verified Coq library

FV Time is a small-scale verification project developed in the Coq proof...

0 Ana de Almeida Borges, et al. ∙

research

∙ 06/07/2022

Towards a Coq formalization of a quantified modal logic

We present a Coq formalization of the Quantified Reflection Calculus wit...

0 Ana de Almeida Borges, et al. ∙

research

∙ 10/06/2018

When logic lays down the law

We analyse so-called computable laws, i.e., laws that can be enforced by...

0 Bjørn Jespersen, et al. ∙