生の証明項

Lean 画像 論理 本編ネタ


The formal proof on the other side was a big and unreadable 'proof term'

出典： 不明、現在はインターネット上にないようだ。