> I've just put the finishing touches on the mm0-rs HTML generator, which > makes pages such as https://digama0.github.io/mm0/peano/thms/addass.html . >
Nice page. Can hyperlinks be added to let the visitor "know more" about "nat" and "+" ? I guess there's the concept of "definition" for those terms(?) : can it be rendered in a linked html page? Glauco -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1353bcfa-4bee-4da9-bbf8-bb2c314bbd59n%40googlegroups.com.
