tydeu / lean4-alloyLinks

Write C shims from within Lean code.
66Updated 3 weeks ago

Alternatives and similar repositories for lean4-alloy

Users that are interested in lean4-alloy are comparing it to the libraries listed below

Sorting: