Competitive Proving for Fun

Maximilian Paul Louis Haslbeck, Simon Wimmer. Competitive Proving for Fun. In Christoph Benzmüller, Xavier Parent, Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Volume 10 of Kalpa Publications in Computing, pages 9-14, EasyChair, 2018. [doi]

Abstract

Abstract is missing.