Рет қаралды 416
leanprover community
This is a prerecorded talk, presented as part of the Lean Together 2024 workshop: leanprover-com...The work discussed can be found at github.com/lea...