Jasmin Christian Blanchette | DeepAI

DeepAI

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

Featured Co-authors

Cezary Kaliszyk
38 publications
Pascal Fontaine
7 publications
Haniel Barbosa
6 publications
Simon Cruanes
3 publications
Daniel El Ouraoui
1 publication

research

∙ 12/05/2017

Language and Proofs for Higher-Order SMT (Work in Progress)

Satisfiability modulo theories (SMT) solvers have throughout the years b...

0 Haniel Barbosa, et al. ∙

research

∙ 06/17/2016

Proceedings First International Workshop on Hammers for Type Theories

This volume of EPTCS contains the proceedings of the First Workshop on H...

0 Jasmin Christian Blanchette, et al. ∙