Das wird heiß

— Makarius

HOL4-Virtualisierung und TypeScript

Gepostet am 3. Okt 19 von iblech

Makarius erklärte Virtualisierung von HOL4 in Isabelle.

Mit viel λ und mit Hilfe von Hakyll erstellt. Schau dir den Quellcode an und verbessere ihn!
Sofern nicht anders angegeben, stehen Design, Bilder, Webseite und Texte unter CC BY 3.0 DE und Codeschnipsel unter MIT-Lizenz.
Q: Warum sind alle Formulierungen auf der Website weiblich? A: Weil wir's können.