Formalization of Polynomial Functors in Lean 4Date: June 11, 2024 Recording of the talk on YouTubeCodebase on GithubShare on Twitter LinkedIn Previous Next
