Coq

rss_feed

証明支援システムの一つで、プログラミング言語Gallinaを用いています。

  • 新着

  • アクティブ

  • 未回答

  • 未解決

  • 注目

  • 解決済

  • 1

思考するエンジニアのためのQ&Aサイト「teratail」について詳しく知る