https://sigmathling.kwarc.info/resources/arxmliv-dataset-082018/
https://kwarc.info/projects/arXMLiv/ - now rebranded as
https://github.com/dginev/CorTeX and in active development (written in Rust)
https://www.youtube.com/watch?v=cDzIpFPNPpI - kohlhase (2012)
No comments:
Post a Comment