NF is consistent – proof partly in LEANlogicmatters.net4 points·kmt-lnh··0 commentsOpen articleSaveView on HN