search

liyili2 / KtoIsabelle

K framework to Isabelle
Other
3 stars 2 forks source link

To isabelle #3

Closed liyili2 closed 9 years ago