Linear Algebra Game in Lean4Date: June 19, 2024Recording of the talk on YouTubeLean Game ServerLinear Algebra GameCodebase on GithubShare on Twitter LinkedIn Previous Next
