目標 トリック オア トリート(Trick or Treat)に因んだ何かを証明してみる!!と題して(¬Treat -> Trick) -> (Trick ∨ Treat) [日本語訳 : お菓子をくれないなら悪戯しちゃうぞ -> 悪戯 か お菓子である!!] 今回はちょっと準備をします 今回はHaskellで証明…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。