Report - Future Prospects of Isabelle Technology - sketis.netsketis.net/wp-content/uploads/2017/11/Copenhagen2017.pdf · 1. What is Isabelle? Framework of domain-speci c formal languages Logic:

Please pass captcha verification before submit form