Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
programming language, with active maintainers, beautiful VSCode extensions, great documentation, and a very, very active community. And hopefully we don’t find some fatal bug that casts doubt on the whole project. Is Lean the holy grail for self taught developers looking to finally learn discrete