This is a collection of tools to create a nested view of mathematical proofs. It consists of

• latex packages for producing symantically enhanced tex documents (for a more profound approach on semantic TeX see for example sTeX )
• a ruby script that generates separate pdf files for all sections, definitions and references
• a pdf viewer that assembles a collection of pdfs in a nested view (based on pdf.js )

• http://surgery-hotel.de/nestedmath/viewer.html
• http://surgery-hotel.de/web/viewer.html

• Download this github repository.
• Edit tex/example.tex or adjust the paths at the top of typeset.rb
• Install node.js
• Run

ruby typeset.rb
cd pdfviewer
node make server

• Open your browser and go to localhost:8888/web/viewer.html