PreTeXt: An authoring and publishing system for scholarly documents github.com 3 points by gjvc a day ago
gjvc a day ago see also https://pretextbook.org/ where it says (Before June 2017, PreTeXt was called “MathBook XML”, so many of those references remain.)
see also https://pretextbook.org/ where it says (Before June 2017, PreTeXt was called “MathBook XML”, so many of those references remain.)