jagg-ix / REPOSITORY
zil-lean
Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
Developer toolsShow HNLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
2Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE