Zulip Chat Archive
Stream: general
Topic: Proofs of false
Koundinya Vajjha (Dec 26 2020 at 05:33):
Just as a historical curiosity, have proofs of false ever been discovered in Lean?
Bryan Gin-ge Chen (Dec 26 2020 at 06:34):
Not according to the FAQ (and not that I've heard either) https://github.com/leanprover-community/lean/blob/master/doc/faq.md
Last updated: May 02 2025 at 03:31 UTC