Isabelle (proof assistant)
article-link
What links here
L4 microkernel family
List of operating systems
article-link
ARM architecture family
article-link
Darwin (operating system)
article-link
OpenVMS
article-link
Mach (kernel)
article-link
Microkernel
article-link
GNU Hurd
article-link
List of programmers
article-link
DEC Alpha
article-link
List of computer scientists
article-link