search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: improve smart construction for inductive_set #147

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Done for now. Note that the current implementation produces (induct set: constant_name) without induction terms.