Search results

Give a Chinese translation

Status: Open.

#33 In Marmare314/lemmify;

· Roseleaves opened on Sep 13, 2024

Expose subgroup to thm-styling to allow styling theorems, proofs etc. differently

Status: Open.

#31 In Marmare314/lemmify;

· luewolf opened on Aug 22, 2024

Split the codebase into "core" and "defaults"

Status: Open.

#23 In Marmare314/lemmify;

· marc-thieme opened on Feb 27, 2024

Referencing is using "link" instead of "ref"

Status: Open.

#20 In Marmare314/lemmify;

· gdahia opened on Jan 13, 2024

Show rules are messing up with outline entries

Status: Open.

#19 In Marmare314/lemmify;

· gzagatti opened on Dec 20, 2023

"Link" Examples/Proofs to Theorems

Status: Open.

#11 In Marmare314/lemmify;

· ParadaCarleton opened on Sep 21, 2023