Michael Kohlhase
Mdoc: an Open Markup Format for Mathematical Documents

Mdoc: an Open Markup Format for Mathematical Documents

Deep cut – we couldn't find a description for this book.

Sign up to use