On Sun, 19 Jul 2020 14:55:37 -0400 (EDT), "David A. Wheeler" <[email protected]> wrote: > I've now publicly posted the video on how to (re)prove Schwabhäuser 4.6 > for the Metamath Proof Explorer. Here's the final public link: > > https://youtu.be/3R27Qx69jHc
PS: if you like the video, please go to that page and give it a "like". I'm not expecting this video to compete with celebrity gossip, but a few likes will hopefully indicate to others that it might be interesting to them. --- 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/E1jxGKd-0001Kr-Qq%40rmmprod06.runbox.
