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