lean4-alloy
lean4-alloy copied to clipboard
Published
20 hours ago •
tydeu
tydeu
Write C shims from within Lean code.
Results
1
lean4-alloy issues
Sort by
recently updated
recently updated
newest added
Hi, alloy sounds nice! I wonder, how does one link a library -- in particular, with gcc for example, I would add the flag `-lsqlite3` to link the library and...
