Zulip Chat Archive

Stream: new members

Topic: timotree


timotree (Jun 27 2022 at 00:38):

Hi, I'm Timo. I've been learning Lean as a hobby for a couple of months with some help from @Floris van Doorn . I'm pretty new to maths, and I've been reading mathlib as a way to learn new concepts. I find it helpful because it's easy to find the fundamental definitions. For example, I have been interested to learn topology for a while, but mathlib was the first place where searching for "topology" actually led me to the definition of a topological space.


Last updated: Dec 20 2023 at 11:08 UTC