株式会社proof ninja - Qiita

株式会社proof ninja

ソフトウェアを数学的に証明する会社です。

For those interested in this Organization

Popular articles

2014-04-24

なぜCoqが重要か

2015-06-09

Coqコーディング規約

2018-12-14

Erlangの型検査ツールDialyzerの実装を読む

2015-08-10

coqdocで日本語を含むPDFを生成する

2015-08-13

Coqでもあのニンジャパターンマッチが使えるぜ

Contributors

Frequently used tags

Softwarefoundations