ソフトウェアの提出

プログラム coqtail.sf.net

  • Coqtail 無料

    COQ定理、抽象化と実装(学士レベル)Coqtailは、Coqの証明アシスタントを使用して数学的証明のライブラリです。