Proof Visualisation and Transformation

This project aims at improving the readability and tracability of proofs (especially Coq proof scripts) by transforming them into a table representation.

An implementation is given by the Coq Proof Script Tools (Coq-PST), formerly named Coq Proof Script Visualiser (Coq-PSV).

More details on Coq-PST will be given soon.

The (old) Coq-PSV page is located here, for reference.