The XSLT builds upon the scripts in https://github.com/Formulae-Litterae-Chartae/scripts/tree/master/corpus_transformation_scripts/Formulae, which are heavily changed and adapted for PTA use.
The XSLT builds upon the scripts in https://github.com/Formulae-Litterae-Chartae/scripts/tree/master/corpus_transformation_scripts/Formulae, which are heavily changed and adapted for PTA use.