Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Axel Polaczek
Publications
Thousands of Problems to Lean
Laura Kovács
and
Axel Polaczek
In
:
Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Keyphrases
automated reasoning
,
interactive theorem proving
,
Lean 4
,
logic and types
.
Copyright © 2012-2026 easychair.org. All rights reserved.
