issues
search
tydeu
/
lean4-alloy
Write C shims from within Lean code.
Apache License 2.0
41
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Link Library
#8
drcicero
opened
1 month ago
7
chore: bump for lean4#3159
#7
mhuisi
closed
2 months ago
1
How to ensure that C_INCLUDE_PATH is respected by clangd started by Alloy?
#6
badly-drawn-wizards
closed
3 months ago
2
Update README snippet to match example lakefile
#5
badly-drawn-wizards
closed
4 months ago
1
lake build does not rebuild alloy
#4
nomeata
closed
8 months ago
1
fix: update to work with newer Lean toolchain
#3
iacore
closed
1 year ago
1
ci: add GitHub workflow
#2
tydeu
closed
1 year ago
0
feat: Add nix flake build
#1
Anderssorby
closed
8 months ago
2