Coqban
こくばん？
https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6
ブラウザ上で実行できる
Coq
のplayground的なやつ
開発者は
@yoshihiro503
ブラウザでCoqを動かして、共有も簡単なCoqbanというのを作りました。インターネットに繋がらない環境でも、スマホでも手軽にCoqを試してみてね。
ref