Lean pour mathématiciens
Lean for the curious mathematician
25-29 March, 2024