JohnEdwardJennings/lean4dirp
Command central for the Lean4 Language directed reading program.
Stars: 1Language: Lean
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubCommand central for the Lean4 Language directed reading program.