A true theorem Lean can state but can never verify

Contributed by William Banks

Source files

Download source .zip

root fileConLean.tex · root file38 KiB · SHA-256 2f03523ceda2eaba… · view text

Back to the main record