Jekyll2023-10-24T14:47:27+00:00https://leanprover-community.github.io/lftcm2020/feed.xmlLean for the Curious Mathematician 2020the Lean prover community