Scalable LCF-style proof translation

 |  Alexander Krauss

In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow)

Alexander Krauss
A contribution from
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

More informations