Comment by cyanydeez

9 hours ago

Technically,Godel showed you can make proofs say anything. all LEAN does is proof consistency. It does not validate the starting blocks.

0 comments