search

uwplse / fix-to-elim

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

first pass anonymization #13

Closed chandrakananandi closed 3 years ago

chandrakananandi commented 3 years ago

First pass anonymization against keywords

DEVOID PUMPKIN Talia Nate