ツールチェーンの実行可能ファイル

Lean 記録

バージョン 3 の lean 3.23.0

  1. lean.exe
  2. leanchecker.exe
  3. leanpkg
  4. leanpkg.bat
  5. libgcc_s_seh-1.dll
  6. libgmp-10.dll
  7. libstdc++-6.dll
  8. libwinpthread-1.dll

バージョン4のクリスマスイブ版 nightly-2022-12-24

  1. clang.exe
  2. lake.exe
  3. ld.lld.exe
  4. lean.exe
  5. leanc.exe
  6. leanmake
  7. libLLVM-15.dll
  8. libc++.dll
  9. libclang-cpp.dll
  10. libleanshared.dll
  11. lld.exe
  12. llvm-ar.exe
  13. zlib1.dll