NF is consistent – proof partly in LEAN #1 Post by kmt-lnh » Wed, Aug 24, 2022, 8:41 AM UTC NF is consistent – proof partly in LEANlogicmatters.net