📢 本站所有软件均来自互联网，仅提供下载链接索引；请优先从软件官网获取安装包，下载后自行查杀病毒。

✨すべて 💻编程开发 🧰系统工具 ⌨️输入法 🔒网络加速 🖼️图像美化 🎵音乐音频 📝文本编辑 🗄️数据库 📦虚拟机 🎨设计绘图 📊系统监控 🗜️压缩解压

💻

elan-init

Lean Theorem Prover installer and version manager

WindowsmacOSLinux 8287 回ダウンロード 3.3万回閲覧更新 2026-10-24

専用URL：https://elan-init.dowch.com

公式サイト：https://github.com/leanprover/elan

ダウンロード

このソフトのダウンロードリンクは未収録です。公式サイトから入手してください。

ソフト紹介

Lean Theorem Prover installer and version manager

関連のおすすめ

Visual Studio Code

Visual Studio Code

開発ツール

最流行的免费代码编辑器。

5432 回ダウンロード詳細

Visual Studio

開発ツール

微软旗舰级集成开发环境。

2230 回ダウンロード詳細

IntelliJ IDEA

開発ツール

Java 开发首选 IDE。

8884 回ダウンロード詳細

PyCharm

開発ツール

Python 专业开发工具。

7259 回ダウンロード詳細