lean4-zig

Zig bindings for Lean4

7 stars

0 watching

1 forks

Language: Zig

last commit: 8 months ago

Linked from 1 awesome list

ffi-bindingsleanlean-languagelean4zigziglang

Backlinks from these awesome lists:

catdevnull/awesome-zig