Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

"Link" Examples/Proofs to Theorems #11

Open
ParadaCarleton opened this issue Sep 21, 2023 · 4 comments
Open

"Link" Examples/Proofs to Theorems #11

ParadaCarleton opened this issue Sep 21, 2023 · 4 comments

Comments

@ParadaCarleton
Copy link

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
Copy link
Owner

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
Copy link
Owner

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
Copy link
Author

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
Copy link
Owner

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants