HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2023 easychair.org. All rights reserved.