search

data61 / PSL

Other
65 stars 9 forks source link

Synthetic SeLFiE: Soft Type #213

Open yutakang opened 10 months ago

yutakang commented 10 months ago

We should be able to reason about types of HOL to efficiently produce types.