To make the references easier to recognize, ProveIt could somehow parse them and display them just as they are in the rendered page.
This probably should be done by concatenating all the references and parsing them via the API.
To make the references easier to recognize, ProveIt could somehow parse them and display them just as they are in the rendered page.
This probably should be done by concatenating all the references and parsing them via the API.