search

hferee / UIML

Uniform Interpolation for Modal Logics
Other
4 stars 1 forks source link

add IL as explicit option to demo #8

Closed samvang closed 3 weeks ago

samvang commented 3 weeks ago

fixes #7