search

liyili2 / KtoIsabelle

K framework to Isabelle
Other
3 stars 2 forks source link

remove temps #10

Open jmikedupont2 opened 12 months ago