Mac Malone

icon company Lean FRO icon location United States

Results 1 repositories owned by Mac Malone

lean4-alloy

42
Stars
11
Forks
Watchers

Write C shims from within Lean code.

verified publisher icon tydeu