Lutz Strassburger | DeepAI

DeepAI

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

Featured Co-authors

Gabriel Scherer
11 publications
Ross Horne
9 publications
Matteo Acclavio
6 publications
Wendlasida Ouedraogo
1 publication

research

∙ 06/21/2023

Coqlex: Generating Formally Verified Lexers

A compiler consists of a sequence of phases going from lexical analysis ...

0 Wendlasida Ouedraogo, et al. ∙

research

∙ 12/02/2020

An Analytic Propositional Proof System on Graphs

In this paper we present a proof system that operates on graphs instead ...

0 Matteo Acclavio, et al. ∙