lean.golf
hole11

falso

impossible

Prove False. Anything that passes here is a soundness bug in Lean itself; report it upstream.

← 10
tactics allowed
10 bytes · 10 chars