Updated mmj2 tutorial
29 views
Skip to first unread message
David A. Wheeler
Jan 15, 2020, 8:05:16 AM1/15/20
to Metamath Mailing List
Comments on my draft tutorial video overwhelmingly recommended that the tutorial be updated first in mmj2. So I have attempted to do just that. My thanks to Mario for catching a few issues as I updated the material.
I would love to hear any final comments on the mmj2 tutorial before I try to turn it into a video. If you have a chance, please take a look here:
https://github.com/digama0/mmj2/tree/master/mmj2jar/PATutorial
Thanks!
--- David A.Wheeler
I would love to hear any final comments on the mmj2 tutorial before I try to turn it into a video. If you have a chance, please take a look here:
https://github.com/digama0/mmj2/tree/master/mmj2jar/PATutorial
Thanks!
--- David A.Wheeler
Reply all
Reply to author
Forward
0 new messages