/Software-Fundamentals

ソフトウェアの基礎 日本語化プロジェクトをやっていく

Primary LanguageCoq

Software-Fundamentals

ソフトウェアの基礎 日本語化プロジェクトをやっていく

  • Basics_J: 関数プログラミングとプログラムの証明