Package containing a latex proof structuring environment according to the proof structuring rules of the course "Argumentation & Proof" / the proof tutorial of "Formal Methods of CS" at TU Vienna.
Place the file abproofs.sty inside of your latex working directory. Add the line \usepackage{abproofs} in your latex file.