Markup language that comes with Emacs .
Finding Vertex Covers with Z3
from z3 import *would be fine, too, but my Python Org Mode source blocks don't seem to work with
Literate Programming with Org Mode.
Static Site Generator
Most content of this website is written in Org Mode.
Org Mode PostScript Source Blocks
If you have an idea how this page could be improved or a comment send me a mail.