Grant Olney Passmore | DeepAI

DeepAI

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

Featured Co-authors

Simon Cruanes
3 publications
Ewen Maclean
3 publications
Elijah Kagan
1 publication
Kostya Kanishev
1 publication
Nicola Mometto
1 publication
Denis Ignatovich
1 publication
Dave Aitken
1 publication
Matt Bray
1 publication

research

∙ 04/21/2020

The Imandra Automated Reasoning System (system description)

We describe Imandra, a modern computational logic theorem prover designe...

0 Grant Olney Passmore, et al. ∙