mathlib

82fd6e1e - feat(logic/girard): Girard's paradox (#7026)

feat(logic/girard): Girard's paradox (#7026) A proof of Girard's paradox in lean, based on the LF proof: http://www.cs.cmu.edu/~kw/research/hurkens95tlca.elf Co-authored-by: Scott Morrison <scott.morrison@gmail.com>