エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ここにツイート内容が記載されますhttps://b.hatena.ne.jp/URLはspanで囲んでください
Twitterで共有ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
This page describes Rocq version 9.0, released on March 12th, 2025.Go here for a list of all rel...This page describes Rocq version 9.0, released on March 12th, 2025.Go here for a list of all releases. This is the first release of Rocq, version 9.It marks the completion of the renaming from The Coq Proof Assistant to The Rocq Prover. Changes See the full changelog in the reference manual. Installation Instructions The base proof assistant can be installed as an opamswitch with the following