search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE and PSL: smart_induct_tac as an atomic strategy in PSL #173

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Duplicate of #172