search

Marmare314 / lemmify

A library for typesetting mathematical theorems in typst.
GNU General Public License v3.0
11 stars 7 forks source link

"Link" Examples/Proofs to Theorems #11

Open ParadaCarleton opened 9 months ago

ParadaCarleton commented 9 months ago

The use-proof-numbering function works, but I think a better approach might be to pass a link/reference (as in @theorem) from a proof or example to its "parent" theorem. This approach seems cleaner, and also works better in situations where there are multiple proofs or examples corresponding to a single theorem.

Marmare314 commented 9 months ago

I agree and already started working on this in the link-to branch some time ago. But since the current implementation stores values in parameters of figures this will require a bit of a refactoring. The only way I could think of to do this would be to store the parameters in the numbering function instead, which is kind of hacky, but should work. Unfortunately I haven't had time to finish this yet.

Marmare314 commented 9 months ago

Just merged the link-to parameter into main #17. But because I have not actually tested the use you described of linking to theorems using labels, I am going to leave this issue open for now.

ParadaCarleton commented 9 months ago

Thank you!

Just merged the link-to parameter into main #17. But because I have not actually tested the use you described of linking to theorems using labels, I am going to leave this issue open for now.

Did you happen to tag a new release? I can't get 0.2.0 in the Typst web app.

Marmare314 commented 9 months ago

It's not released yet, I need to improve the documentation a bit more and I wanted to get it working with showybox first. Should not be too long though.