Made it ugly
Updated the paper
Added figures
Added proofs, can talk a bit more about completeness and soundness
updated the proof section with more proof sketches
updated text
Updated 2
Updated 3
updated the graph
Updated correct.tex
Merge branch 'master' of https://github.com/amal029/rtsj
Updated things