usr345
Results
2
issues of
usr345
On page 56 the Definition says: Definition leq n m := m - n == 0. It should be: Definition leq m n := m - n == 0. It...
We are using your library for creating LaTeX files and are planning to generate markdown files. Is it possible to allow setting the arbitrary extension for the template file? Strictly...