关于 Lean
Official account of the Lean theorem prover and programming language
列表
leanprover has no public lists
Timeline
leanprover has no activity yet
Official account of the Lean theorem prover and programming language
leanprover has no public lists
leanprover has no activity yet