> On Jun 3, 2024, at 5:42 PM, Matthias Vogt <[email protected]> wrote: > > Hi everyone, > I wrote a cool visualizer for metamath proofs :3
You certainly did! It's really cool! I did find a minor problem with the graph display - the bottom part of the text labels gets cut off. E.g., in "eqtr4i" you can't tell it's a "q" because the bottom tail is cut off. I suspect a minor tweak would fix it. Here's an example: -- 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/6D33D396-9277-4EA6-BF14-AC55D8C9A234%40dwheeler.com.
--- David A. Wheeler -- 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/6D33D396-9277-4EA6-BF14-AC55D8C9A234%40dwheeler.com.
