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