HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:interactive theorem prover

Publications
Automatically Generalizing Theorems Using Typeclasses
Alexander Best
EasyChair Preprint 6216
Automated Theorem Proving in a Chat Environment
Rustam Zhumagambetov and Mark Sterling
EasyChair Preprint 447
Copyright © 2012-2025 easychair.org. All rights reserved.