Mac Malone
[email protected]
Lean FRO
United States
Repositories
Issues
Comments
Results
1
repositories owned by
Mac Malone
lean4-alloy
42
Stars
11
Forks
Watchers
Write C shims from within Lean code.
tydeu
lean4