Now public: Video on proving Schwabhäuser 4.6
49 views
Skip to first unread message
David A. Wheeler
Jul 19, 2020, 2:55:39 PM7/19/20
to metamath
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
My thanks to all for your comments!
--- David A. Wheeler
for the Metamath Proof Explorer. Here's the final public link:
https://youtu.be/3R27Qx69jHc
My thanks to all for your comments!
--- David A. Wheeler
David A. Wheeler
Jul 19, 2020, 4:54:49 PM7/19/20
to metamath
On Sun, 19 Jul 2020 14:55:37 -0400 (EDT), "David A. Wheeler" <dwhe...@dwheeler.com> 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'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
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
Reply all
Reply to author
Forward
0 new messages