CoqLibrary icon indicating copy to clipboard operation
CoqLibrary copied to clipboard

verified publisher icon itleigns
→

Metadata

Coqで様々な数学の定理を証明

使い方

まずmakeでコンパイルします。 ルートディレクトリでcoqideを実行して使えます。

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon itleigns

Metadata

Coqで様々な数学の定理を証明

Back