Comment by baq 6 hours ago Won’t happen unless the thing is implemented in lean4. 1 comment baq Reply nasretdinov 5 hours ago Proving something is correct doesn't automatically make it obvious though. For it to be obvious it needs to either be intuitive or it needs to be (reasonably) simple
nasretdinov 5 hours ago Proving something is correct doesn't automatically make it obvious though. For it to be obvious it needs to either be intuitive or it needs to be (reasonably) simple
Proving something is correct doesn't automatically make it obvious though. For it to be obvious it needs to either be intuitive or it needs to be (reasonably) simple