Christoph Kreitz

1. Learning how to Prove: From the Coq Proof Assistant to Textbook Style
   2018/03/02 by Sebastian Böhne, Christoph Kreitz · 2 voices
   Computer Science · Mathematics · #Logic, programming, and type systems #Mathematical and Computational Methods