search

tydeu / lean4-alloy

Write C shims from within Lean code.
Apache License 2.0
42 stars 11 forks source link

ci: add GitHub workflow #2

Closed tydeu closed 1 year ago