ParentFull threadcevi·Sadly, this page hasn't been updated since 2016. I'd love to see some of the more recent attempts at proofs collected somewhere!View on HN