GitHub repository: tydeu/lean4-alloy
Primary language: Lean
Created: 2021-11-19T01:54:10Z
Description: Write C shims from within Lean code.