「グローバル変数」って名前あんまりよくない気がする… 「モジュールの中で操作しようとしている変数の集合」って認識したら正しそう。

EasyCryptリファレンスマニュアルの非公式(かつガバガバな)訳です。 モジュール型って要するにインターフェースとかよばれるものですね。

EasyCryptリファレンスマニュアルの非公式な訳です。 いろいろガバガバなのは許してくれ

EasyCryptという暗号系の形式検証支援系をインストールしようとしたところ、詰まったところがたくさんあったので備忘録。 2019/11/12追記 ここを読まずに公式のGithubリポジトリの手順を読みましょう。 EasyCryptインストールまで 公式Githubを参考にインス…