leanprover-community/mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

语言：HTML · GitHub 星标：624 · Fork：441

在 GitHub 上查看原仓库