A reading group run by Yaël Dillies and me, where we discuss different aspects of interactive theorem proving, programming, and metaprogramming in Lean.
A reading group run by Yaël Dillies and me, where we discuss different aspects of interactive theorem proving, programming, and metaprogramming in Lean.