チャット上で証明が書けたら面白そうだなと思ったので、ProveEverywhere のサーバを使う hubot スクリプトを書きました。 こんなかんじ。 導入方法 (hubot 自体の導入方法については他の記事に任せます) 適当なサーバに Coq 8.4 以上をインストールします。 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。