Zulip Chat Archive

Stream: new members

Topic: mathlib study guide

Huỳnh Trần Khanh (Jun 28 2021 at 11:28):

thanks for your help... my proof is almost done :heart: :tada: I'll probably post my proof for code review tomorrow. but I realized that my mathlib knowledge is really lacking and that contributed to the initial confusion when I first read the formalized statement... how can I learn to use mathlib? is there a study guide somewhere? I guess I'm only good at symbol pushing and induction bashing :cry:

Kevin Buzzard (Jun 28 2021 at 11:37):

just work on proving lemmas and gradually your knowledge grows. This is how I've seen undergraduate mathematicians learn the library (I'm aware you're not a mathematician but probably the same principle works fine).

Last updated: Dec 20 2023 at 11:08 UTC