Geeks
tydeu
/
lean4-alloy
Write C shims from within Lean code.
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean4-alloy GitHub
Markdown
Readme
3
Issues
50
Stargazers
4
Watchers
Watchers
lecopivo
tydeu
Lean FRO