sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: move out lean4-mode

Browse Source
This commit is contained in:
Sebastian Ullrich
2022-01-21 09:32:24 +01:00
parent 722bf54929
commit b20ecd02d7
18 changed files with 26 additions and 2793 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
flake.lock generated
View File

@@ -30,6 +30,22 @@
"type": "github"
}
},
"lean4-mode": {
"flake": false,
"locked": {
"lastModified": 1642754670,
"narHash": "sha256-SI8a4lIV2GVIt1hyCCiBuZy2xrQSPxzF09iRerXw+0M=",
"owner": "leanprover",
"repo": "lean4-mode",
"rev": "1838a2baeb6f7858bf5ccf5206c80e695ced6840",
"type": "github"
},
"original": {
"owner": "leanprover",
"repo": "lean4-mode",
"type": "github"
}
},
"lowdown-src": {
"flake": false,
"locked": {
@@ -116,6 +132,7 @@
"inputs": {
"flake-utils": "flake-utils",
"lean-stage0": "lean-stage0",
"lean4-mode": "lean4-mode",
"mdBook": "mdBook",
"nix": "nix",
"nixpkgs": "nixpkgs_2",