NF is consistent
This is a package of two drafts of my claimed consistency proof for Quine's set theory New Foundations. The more recent one is my current working version. The older one takes a similar approach, and is included because it is the version read and mostly approved by Nathan Bowler's group in Hamburg. I am withdrawing other versions I have posted in the past to remove clutter; they are still available from me, and probably would work mod debugging.