New unlisted video available: "Formalizing Geometric Proof Schwabhäuser 4.6 in the Metamath Proof Explorer"
28 views
Skip to first unread message
David A. Wheeler
Jul 15, 2020, 11:20:28 PM7/15/20
to metamath
You can now check out my new unlisted video on Youtube,
"Formalizing Geometric Proof Schwabhäuser 4.6 in the Metamath Proof Explorer", at:
https://youtu.be/-DTBRvRlflA
If no one finds any serious problems with it soon, I plan to list it.
If you *do* find any problems with it, let me know.
--- David A. Wheeler
"Formalizing Geometric Proof Schwabhäuser 4.6 in the Metamath Proof Explorer", at:
https://youtu.be/-DTBRvRlflA
If no one finds any serious problems with it soon, I plan to list it.
If you *do* find any problems with it, let me know.
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages