[FOM] consistency of NF?

[Stephen G Simpson]

Murdoch Gabbay (http://arxiv.org/abs/1406.4060) has published a proof
of the consistency of NF.  Has anyone here understood and/or checked
the proof?

Stephen G. Simpson
Professor of Mathematics
Pennsylvania State University
research interests:
 mathematial logic, foundations of mathematics