Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

lean4-zig

Zig bindings for Lean4

Zig5apache-2.0

9 months ago

ffi-bindingsleanlean-language