Saphe: A New Prototype Ecosystem for SATySFi (first half)

article SATySFi programming language typesetting

(No translation has been available yet; only Japanese version is provided.)