8
Lean 4, Idris 2 安裝
source link: https://dannypsnl.github.io/blog/2021/01/19/cs/installation/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Lean 4(nightly) Editor VSCode Idris 2 Editor vim emacsLean 4, Idris 2 安裝
Email: [email protected]
GitHub: @dannypsnl
Twitter: @dannypsnl
Programming Language Theory • System Programming
Lean 4, Idris 2 安裝
Lean 4(nightly)
curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh
elan default leanprover/lean4:nightlyEditor
Idris 2
brew install idris2
nix-env -i idris2Editor
author: Lîm Tsú-thuàn/林子篆/Danny
category:cs
tag:notepltinstallationidrislean
Similar Articles
All works in this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.©2022 dannypsnl(林子篆)
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK