Coqで対偶は等しいことを証明してみたlikers
- @kyamaz
I love reading open source codes & papers in arXiv. My interests: #QuantumComputing #Haskell #量子情報. I'm @#OpenQL 未踏tg '18-'20.
- いろは@168irohairoha
趣味で数学とプログラムをやっている素人です。 所謂意識低い系。 何かあればコメントかtwitterへ。 これからはブログに投稿していくので、そちらへお願いします。