rocq-prover/rocq
@rocq-proverRocq Proverは対話型定理証明器（証明支援ツール）。数学的定義、実行可能アルゴリズム、定理を記述するための形式言語と、機械検証された証明の半対話的開発環境を提供する。
スター
5,562
フォーク
756
言語
OCaml
ライセンス
LGPL-2.1
最終プッシュ
6 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。