fix: clarify that Lean's core library uses classical logic#117

Open

avigad wants to merge 1 commit intoleanprover:masterfrom avigad:classical_disclaimer

+3-4

Commits on May 27, 2024

fix: clarify that Lean does not avoid classical logic
avigad
committed