- Mar 18, 2024
-
-
Tomáš Nováček authored
-
- Mar 17, 2024
-
-
Tomáš Nováček authored
-
- Mar 16, 2024
-
-
Tomáš Nováček authored
Added possibility to change color to link boxes, or remove them completely. Updated abstract examples.
-
Tomáš Nováček authored
Setting math names (proof, lemma, etc) according to selected language. Additional typo fixes and comment improvements.
-
- Mar 15, 2024
-
-
Tomáš Nováček authored
-
- Mar 12, 2024
-
-
Tomáš Nováček authored
-
- Feb 17, 2024
-
-
- Oct 19, 2023
-
-
Tomáš Nováček authored
-
- Aug 09, 2023
-
-
Ondřej Guth authored
-
- Jul 31, 2023
-
-
Ondřej Guth authored
load only listings by default
-
Ondřej Guth authored
-
- May 26, 2023
-
-
Ondřej Guth authored
-
- Mar 09, 2023
-
-
Ondřej Guth authored
-
- Feb 26, 2023
-
-
Ondřej Guth authored
-
- Oct 12, 2021
-
-
Ondřej Guth authored
-
Ondřej Guth authored
-
Ondřej Guth authored
-
- Oct 01, 2021
-
-
Ondřej Guth authored
-
- Aug 09, 2021
-
-
Ondřej Guth authored
-
Ondřej Guth authored
-
Ondřej Guth authored
-
