On Wed, 15 Jul 2020 13:48:22 -0700 (PDT), "'Alexander van der Vekens' via Metamath" <[email protected]> wrote: > Hi David, > great work. I really like this presentation, because it is very precise, > specific and complete, and it gives an illustrative impression of Metamath > and mmj2.
Thanks! I intend to eventually create a per-slide voiceover & turn this into a Youtube video. > I have only one remark: > * Slides 1 and 2: You do not "prove a geometric proof" - you either > "formalize a geometric proof" or "formally prove a specific geometry > theorem". You're absolutely right! Fixed. --- 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/E1jvp2F-0001hB-PD%40rmmprod06.runbox.
