Elektrine lite

← Feed

@jpoiret@types.pl

2026-04-05 09:05 UTC

@sophiehuiberts@mathstodon.xyz zref-clever is working well enough for me, and with zref-titleref you also get nameref behavior!

Replies (1)

  • @jpoiret@types.pl i dont know what i am doing wrong, but i simply cannot get it to work. it keeps calling lemma's theorems admittedly, i am also just frustrated at the ecosystem that it makes this whole change necessary. whatever internal necessitates this, its weird that it requires action from end users

    Open ##2207313