Follow

#22: De Morgan's laws in Coq
top-prover.top/problem/22

ドモルガンの法則の4パターンのひとつだけ直観主義論理で示せないことを知らなくてハズレの方でひたすら悩んでいたのはここだけの話

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!