URL details: www21.in.tum.de/~nipkow/isa-tut-cicm15.html
URL title:
Isabelle/HOL Tutorial at CICM 2015 in Nanjing
URL last crawled:
2022-06-17
URL speed:
96.100 MB/s,
downloaded in 0.001 seconds
1 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2021-05-30
Programming and Proving in the proof assistant Isabelle/HOL"