Lean
@leanprover@functional.cafe
Joined: 07/24/2023
About Lean
Official account of the Lean theorem prover and programming language
Lists
leanprover has no public lists
Timeline
{username} has no activity yet
@leanprover@functional.cafe
Joined: 07/24/2023
Official account of the Lean theorem prover and programming language
leanprover has no public lists
{username} has no activity yet