Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Maximilian Paul Louis Haslbeck
Publications
Competitive Proving for Fun
Maximilian Paul Louis Haslbeck
and
Simon Wimmer
In
:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Keyphrases
interactive theorem proving
,
Isabelle/HOL
,
theorem proving competition
.
Copyright © 2012-2024 easychair.org. All rights reserved.