An interpretation of isabelle/hol in hol light
by
Sean Mclaughlin
| Venue: | In Furbach and Shankar [20 |
| Citations: | 2 - 1 self |
Document Versions
| An interpretation of isabelle/hol in hol light –Sean Mclaughlin — In Furbach and Shankar [20 |
