search

data61 / PSL

Other
65 stars 9 forks source link

Change the session name to enable all tools. #155

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Probably, Smart_Isabelle would be a good name.

yutakang commented 4 years ago

I changed it to Smart_Isabelle. Maybe AI4Isabelle is a better name?