search

albertqjiang / Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/
BSD 3-Clause "New" or "Revised" License
50 stars 18 forks source link

Test2022 #33

Closed albertqjiang closed 1 year ago

albertqjiang commented 1 year ago

Added stuff that make Isabelle2022 work better with premise selection data extraction