GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

\mapsto wrong in rusTeX

#451

· kohlhase opened

on Jun 24, 2025

\begin/\end{eqnarray*} should be a block element

#450

· kohlhase opened

on Jun 24, 2025

better proof end

#449

· kohlhase opened

on May 4, 2025

Links to documentation in the ReadMe are outdated

#448

· baletiballo opened

on May 3, 2025

big (and more explicit) notations for structures.

#446

· kohlhase opened

on Apr 16, 2025

discrepancy between FTML and PDF:

#445

· kohlhase opened

on Mar 13, 2025

identify two symbols in a copymodule without ambiguity.

#444

· kohlhase opened

on Mar 10, 2025

should \usemodule and \usestructure be inherited in multilingual modules via <code>sig=en</code>?

#443

· kohlhase opened

on Feb 28, 2025

need a more complex notation change process.

#442

· kohlhase opened

on Feb 24, 2025

some definientia not shown in smglom

#441

· kohlhase opened

on Feb 24, 2025

regression in MathHub/courses/Jacobs/GenCS/course/source/pl0/slides/abstract-consistency.en.tex

#439

· kohlhase opened

on Feb 22, 2025

better markup for k-partite

#438

· kohlhase opened

on Feb 22, 2025

0