Norm, Jim, thanks for your feedback! I updated the proof visualisation - all steps are collapsed by default and a [+] button will expand selected node. Examples: http://metamath.d4-e5.de/v2/data/2p/2e/2p2e4.html http://metamath.d4-e5.de/v2/data/sq/rt/2i/sqrt2irr.html http://metamath.d4-e5.de/index.html
Also offline version may be found here https://drive.google.com/drive/folders/1na2UM270rsCd85BQCmaJJSnak8HywfL8?usp=sharing (its size is 500M when unarchived). At the moment, step numbers in my proof visualisation don't correspond to step numbers on http://us.metamath.org in many cases. This is because of duplicate steps in my visualisation. I will fix this. Best regards, Igor вторник, 1 декабря 2020 г. в 03:22:00 UTC+1, [email protected]: > On 11/30/20 6:03 PM, Paul Chapman wrote: > > > I may be getting too old/lazy to code. Thirty years ago I’d’ve written > > a knockout replacement for mmj2. ;) > > Haha I'll let you be the judge of whether you are too old/lazy to code. > > But if you are just disinclined to shave all the yaks required to get a > smalltalk compatible with that experiment running again, hey that > strikes me as quite understandable quite aside from age. Quite a saga. > > > -- 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/74a6f37d-5edf-4b2b-bd17-b1c36a374242n%40googlegroups.com.
