Zig
istry
Open main menu
Packages
Programs
AI
View More
Statistics
Apps
API
Help
About
Help
Star
606
main branch details
Last updated: 2 years ago
lean4-zig
kassane
Apache-2.0
Zig bindings for Lean4
10
0
5
docker,oci,zig,zig-package
View on GitHub
Readme
Dependencies: 0
Versions: 0
