This is not very straightforward: at the moment I am basically querying Z/Eves for theorems for each "paragraph history index". To have locations, I would need to match them with the actual specification.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This is not very straightforward: at the moment I am basically querying Z/Eves for theorems for each "paragraph history index". To have locations, I would need to match them with the actual specification.