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