search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: do more work in Unique_Node.ML #166

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Probably most of the work necessary to compute atomic assertions about the meta-implication should be done in Unique_Node.ML to speed up the whole process.

yutakang commented 4 years ago

Done