search

uwplse / fix-to-elim

Fixpoint to eliminator translation in Coq
MIT License
3 stars 5 forks source link

first pass anonymization #12

Closed chandrakananandi closed 3 years ago

chandrakananandi commented 3 years ago

Removes lines containing DEVOID, PUMPKIN, Talia, Nate