search

uwplse / PUMPKIN-PATCH

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
MIT License
51 stars 2 forks source link

apply-in/pose #78

Closed randair closed 4 years ago

randair commented 4 years ago

apply-in and pose tactics, revised "fake rewrite-in" regression tests

tlringer commented 4 years ago

LGTM