Leanのインストール

インストール／設定 Lean

MicrosoftリサーチはMicrosoft社の研究部門ではなく、
マイクロソフトリサーチ ：

完全に独立した研究機関であり、そこで行われる研究内容については、たとえマイクロソフト本社の首脳陣であっても一切の口出しは出来ないことになっている。

Windowsへのインストールでも：

  1. bash環境が必要。MSYS2 または Git bash
  2. curl シェルスクリプトURL -sSf | sh によりelanのインストール
    1. -S = --show-error
    2. -s = --silent
    3. -f = --fail fail silently
  3. python3 と pip3 を使う。
  4. pip3 install mathlibtools ですべてをインストール
  5. gitを設定する

開発者はどうも、NixOSを使っているようだ。Widowsへの考慮がされてない。