issues
search
Marmare314
/
lemmify
A library for typesetting mathematical theorems in typst.
GNU General Public License v3.0
11
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bug: ref-styling is not applied in default-theorems
#27
ProgramSnail
opened
1 month ago
0
Add catalan translation and sort languages.
#26
Eloitor
closed
1 month ago
1
Added Spanish translations
#25
mismorgano
closed
1 month ago
1
Example is not working in typst 0.11
#24
psads-git
opened
3 months ago
0
Split the codebase into "core" and "defaults"
#23
marc-thieme
opened
4 months ago
1
Feat: Add tags which can be provided on each theorem instantiation an…
#22
marc-thieme
opened
4 months ago
1
Why is the styling only applied through the show rule instead instead of directly?
#21
marc-thieme
opened
4 months ago
2
Referencing is using "link" instead of "ref"
#20
gdahia
opened
5 months ago
4
Show rules are messing up with outline entries
#19
gzagatti
opened
6 months ago
1
Definition not working
#18
porcaror
closed
7 months ago
2
Refactor lemmify around link-to parameter
#17
Marmare314
closed
9 months ago
0
Add russian translations
#16
WeetHet
closed
9 months ago
1
Fix #13
#15
ParadaCarleton
closed
9 months ago
1
Update util.typ
#14
ParadaCarleton
closed
9 months ago
5
Regression in 0.1.3 with figure caption
#13
laurmaedje
closed
9 months ago
1
Periods doubled after section headings
#12
ParadaCarleton
closed
9 months ago
1
"Link" Examples/Proofs to Theorems
#11
ParadaCarleton
opened
9 months ago
4
Only show some headings when numbering
#10
ParadaCarleton
closed
9 months ago
1
Numbering appended to name?
#9
ParadaCarleton
closed
9 months ago
3
Splitting theorems across multiple pages
#8
jeanas
opened
10 months ago
1
Handle unnumbered headings
#7
lcnbr
closed
9 months ago
1
Overflow when combining with showybox
#6
lcnbr
opened
11 months ago
2
`expected string or function, found none` when heading is present
#5
bluebear94
closed
11 months ago
2
Typo in readme
#4
WannesMalfait
closed
11 months ago
1
Update translations.typ
#3
porcaror
closed
11 months ago
1
Add french translations
#2
MDLC01
closed
1 year ago
1
Add Dutch translations
#1
BroodjeKroepoek
closed
1 year ago
1