Skip to content

itleigns/CoqLibrary

Repository files navigation

使い方

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

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published