Christoph Kreitz | DeepAI

DeepAI

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

Featured Co-authors

Mario Frank
5 publications
Sebastian Böhne
1 publication

research

∙ 03/05/2018

A Theorem Prover for Scientific and Educational Purposes

We present a prototype of an integrated reasoning environment for educat...

0 Mario Frank, et al. ∙

research

∙ 03/05/2018

Learning how to Prove: From the Coq Proof Assistant to Textbook Style

We have developed an alternative approach to teaching computer science s...

0 Sebastian Böhne, et al. ∙