lean4-alloy icon indicating copy to clipboard operation
lean4-alloy copied to clipboard

Published 20 hours ago • verified publisher icon tydeu
→

Metadata

Write C shims from within Lean code.

← Metadata

42
Stars
11
Forks
Watchers

Owner

verified publisher icon tydeu

Metadata

Write C shims from within Lean code.

Back