Zulip Chat Archive
Stream: general
Topic: mm0 resources
Huỳnh Trần Khanh (Jul 12 2021 at 11:14):
hmm now i'm interested in mm0... are there any resources? like... are there videos about mm0 or something?
Huỳnh Trần Khanh (Jul 12 2021 at 11:15):
IIRC there is a tutorial on YouTube about MM0 but I can't find it...
Johan Commelin (Jul 12 2021 at 11:22):
https://www.youtube.com/results?search_query=metamath+zero top two hits are about mm0
Last updated: Dec 20 2023 at 11:08 UTC