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

article SATySFi programming language typesetting

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