Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Lean
lean4-alloy
Write C shims from within Lean code.
Lean
Emerging
lean4
GitHub
Stars
86
Forks
20
Contributors
4
Last push
11mo ago
Recent commits
Latest commits.
Replace `mkAuxName` with `mkAuxDeclName`
be37dab
eneoli
11mo ago
chore: rm leftover code from Lean v4.18.0 adaption
bbb9416
Mac Malone
13mo ago
chore: update to Lean v4.19.0
04d6f34
Mac Malone
13mo ago
chore: update to Lean v4.18.0
d01c24f
Mac Malone
13mo ago
chore: update to Lean v4.17.0
57c73ea
Mac Malone
13mo ago
chore: update to Lean v4.16.0
ce768d7
Mac Malone
13mo ago
chore: update to Lean v4.15.0
79d91c4
Mac Malone
13mo ago
chore: update to Lean v4.14.0
b809e2f
Mac Malone
13mo ago
Top contributors
Builders behind this project.
tydeu
123 commits
badly-drawn-wizards
1 commits
eneoli
1 commits
iacore
1 commits
