Looks cool based on the screenshot and video. Given how popular colorful syntax highlighting has been for code, seems like there could well be an appeal to do something sort of similar in terms of the display here.
On June 25, 2022 1:58:32 AM PDT, 'Peter Meadows' via Metamath <[email protected]> wrote: >https://github.com/Peter-H-Meadows/GtMetamath > >Thoughts? > >-- >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/0249cd93-d4ec-486f-afa3-686f2380d34cn%40googlegroups.com. -- 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/2BE87426-6D36-44CD-9E27-33184EC4804A%40panix.com.
