Hacker News new | ask | show | jobs
NF is consistent – proof partly in LEAN (logicmatters.net)
4 points by kmt-lnh 1400 days ago