search

achlipala / frap

Formal Reasoning About Programs
Other
657 stars 82 forks source link

Two tweaks in HoareLogic.v #55

Closed cpitclaudel closed 3 years ago

cpitclaudel commented 3 years ago

Make the ht1 tactic a bit more robust. Get rid of the “reset” scope.