HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alexander Best

Publications
Automatically Generalizing Theorems Using Typeclasses
Alexander Best
EasyChair Preprint 6216

Keyphrases

Automation, formal proof, interactive theorem prover, Lean theorem prover, library maintainence, theorem prover, typeclasses.

Copyright © 2012-2025 easychair.org. All rights reserved.