added math plugin
render math plugin
inital proofs