Sketis | Website of Dr. Makarius Wenzel - Isabelle Development Blogs (opens in new tab)
<ul> <li>Isabelle News: <code>https://isabelle-dev.sketis.net/phame/blog/view/1/</code></li> <li>Isabelle Release: <code>https://isabelle-dev.sketis.net/phame/blog/view/2/</code></li> </ul>
Read the original article