← Back to context Comment by trenchgun 12 hours ago Lean4 is a general purpose programming language. 1 comment trenchgun Reply singularity2001 10 hours ago Have you tried writing any programs in it?
Have you tried writing any programs in it?