On Wednesday, December 16, 2015 01:56:27 PM Davide Valsecchi wrote: > An automatic label to theorem could be really useful, but we need to figure > out how to refer to them in wikitext. Maybe an extension? Let's have a real proposal of what we want to do and ask/involve wikitech-l for feedback :-) -Riccardo