Lecture notes for : http://geevi.github.io/teaching/complexity-theory/

Notes are written using format/tool: http://hplgit.github.io/doconce/doc/web/index.html

To generate html: doconce format html full.do.txt --css=style.css

To generate latex: doconce format pdflatex full.do.txt