HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:theorem proving competition

Publications
Competitive Proving for Fun
Maximilian Paul Louis Haslbeck and Simon Wimmer
In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Copyright © 2012-2025 easychair.org. All rights reserved.