Hacker News new | ask | show | jobs
by randallholmes 779 days ago
It certainly isnt a proof of equiconsistency between NF and the Lean kernel. The theory implemented in the Lean kernel is considerably stronger than NF.