HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alexander Best

Publications
Automatically Generalizing Theorems Using Typeclasses
Alexander Best
EasyChair Preprint no. 6216

Keyphrases

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

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