• lean-4.17.0-darwin.tar.zst
    273 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-darwin.zip
    377 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-darwin_aarch64.tar.zst
    268 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-darwin_aarch64.zip
    371 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-linux.tar.zst
    280 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-linux.zip
    445 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-linux_aarch64.tar.zst
    273 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-linux_aarch64.zip
    435 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-linux_x86.tar.zst
    274 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-linux_x86.zip
    369 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-windows.tar.zst
    279 MB 2025-03-03T07:45:02Z
  • lean-4.17.0-windows.zip
    387 MB 2025-03-03T07:45:02Z
  • Source code (zip)
    2025-03-03T06:08:37Z
  • Source code (tar.gz)
    2025-03-03T06:08:37Z