y-yu/SATySFi-docs

Docs for https://github.com/gfngfn/SATySFi

SATySFi Docs

Artifacts

• primitives.pdf
• lang.pdf
• math1.pdf