Procrastination: A proof engineering technique
Résumé
We present a small Coq library for collecting side conditions and deferring their proof.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...