• Normal use of <label>s and @references implemented.

Breaking changes

• Removed thmref.
• Import must be followed by show: thmrules.
• Syntax change from #theorem(name: "Euclid")[] to simply #theorem("Euclid")[].

Notes

• Theorem environments are wrapped in figures, inspired by lemmify, an admittedly hacky solution to allow attaching <label>s.