jagg-ix / zil-lean
git clone https://github.com/jagg-ix/zil-lean.git
Zil lang DSL for Lean 4
+0
stars, 24h · #24,706
+~0
stars, 7 days · #33,007
+~0
stars, 30 days · #36,635
34
★ total
1
forks · 1 open issues
Star history (as recorded here)
LanguageClojure
License—
Created2026-07-27 (2mo ago)
Last pushtoday
OwnerUser
GitHub topics
artificial-intelligencedatalogdslknowledge-baseknowledge-graphknowledge-representationlean4prolog-programming-languagezanzibar