leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

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: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll