Leanprover
Lean 4 Theorem Prover study session is for people who are studying and learning how to use the Lean theorem prover and dependently typed functional programming language.
https://lean-lang.org/documentation/
We are interested in:
- pair programming in Lean or Lean code review sessions
- discussing Lean topics such as program verification, functional programming, category theory, type theory, monads, monoids etc.
- book discussion / review exercises
Which books are we interested in?
- The Mechanics of Proof https://hrmacbeth.github.io/math2001/
- functional programming in lean https://lean-lang.org/functional_programming_in_lean/
- Category Theory For Programmers
Questions? We hang out on the Lean community Zulip chat and you can find us here: