search

data61 / PSL

Other
65 stars 9 forks source link

Abduction: rename TDC.thy to something else #192

Closed yutakang closed 1 year ago

yutakang commented 1 year ago

Abduction? Deep_Abduction? Conjecturing?

yutakang commented 1 year ago

I went for Abduction.thy.