issues
search
lenianiva
/
lean4-nix
Nix overlay for Lean 4, and lake2nix
Apache License 2.0
16
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix: Use `ref` to fetch tag instead of `rev`
#28
lenianiva
closed
1 day ago
0
Expose `.olean` tree
#27
lenianiva
opened
1 week ago
0
feat: Expose `lake`
#26
lenianiva
closed
1 week ago
1
Language server starts very slowly.
#25
wuyoli
opened
1 week ago
27
fix: Compilation failure of v4.13.0 on Darwin
#24
lenianiva
closed
1 week ago
1
fix: `x86_64-darwin` build failure on v4.12.0
#23
lenianiva
closed
1 week ago
1
refactor: Add code formatting and remove hacks
#22
stepbrobd
opened
2 weeks ago
7
Extract test and default targets from `lakefile.lean`
#21
lenianiva
opened
3 weeks ago
1
feat: Support Lean v4.13.0
#20
lenianiva
closed
2 weeks ago
1
feat: manifest fetch script
#19
wuyoli
opened
3 weeks ago
3
Potential package name mismatch problem
#18
lenianiva
opened
4 weeks ago
0
fix: Build failure for v4.11
#17
lenianiva
closed
3 weeks ago
0
Lean v4.11 build is broken
#16
lenianiva
closed
3 weeks ago
0
doc: Fix minimal version, and add toolchain file
#15
lenianiva
closed
4 weeks ago
0
feat: Support for Lean version v4.11.0
#14
lenianiva
closed
4 weeks ago
0
doc: Clarify documentation
#13
lenianiva
closed
4 weeks ago
0
feat: Shallow fetch
#12
lenianiva
closed
4 weeks ago
0
Fetch lean binary
#11
lenianiva
opened
4 weeks ago
2
fix: Remove extraneous flake lock
#10
lenianiva
closed
4 weeks ago
0
fix: Dependency template
#9
lenianiva
closed
4 weeks ago
0
doc: Fix template doc
#8
lenianiva
closed
4 weeks ago
0
feat: Read toolchain file from `lean-toolchain`
#7
lenianiva
closed
4 weeks ago
0
feat: Read lake manifest
#6
lenianiva
closed
4 weeks ago
1
Add manifest fetch script
#5
lenianiva
closed
1 week ago
2
Read Lean4 toolchain from `lean-toolchain`
#4
lenianiva
closed
4 weeks ago
0
feat: Overlay
#3
lenianiva
closed
1 month ago
4
Read `lake-manifest.json` file for dependencies
#2
lenianiva
closed
4 weeks ago
2
template using lake and mathlib4
#1
9glenda
closed
4 weeks ago
7