Skip to content

GitLab

Merged
Created by Paolo G. Giarrusso@BlaisorbladeContributor

Opaquify proofs in gmap_partial_alter (fix #46)

  • Ensure gmap well-formedness proofs are fully opaque.
  • Use pattern-matching lambdas over lets.
Edited by Paolo G. Giarrusso