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 )
- Download this github repository.
- Edit
tex/example.texor adjust the paths at the top oftypeset.rb - Install node.js
- Run
ruby typeset.rb
cd pdfviewer
node make server
- Open your browser and go to
localhost:8888/web/viewer.html