Coqで対偶は等しいことを証明してみたlikers

- @kyamaz
I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.
いろは@168irohairoha趣味で数学とプログラムをやっている素人です。 所謂意識低い系。 何かあればコメントかtwitterへ。 これからはブログに投稿していくので、そちらへお願いします。