mathlib study guide

Stream: new members

[Huỳnh Trần Khanh]

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]

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).