3 ms·
See the resources over at https://leanprover-community.github.io/learn.html https://leanprover-community.github.io/learn.html and the youtube playlist of the Le
by tromoi57 6y ago
See the resources over at https://leanprover-community.github.io/learn.html https://leanprover-community.github.io/learn.html and the youtube playlist of the Lean for the Curious Mathematician workshop: https://www.youtube.com/playlist?list=PLlF-CfQhukNlxexiNJErGJd2dte_J1t1N https://www.youtube.com/playlist?list=PLlF-CfQhukNlxexiNJErG...