surge-bot/jagg-ix--zil-leanpublic

Zil lang DSL for Lean 4

Clojure Updated 20 days ago 1 commits 34 stars
surge-bot|Mirror: jagg-ix/zil-lean (⭐34)
20 days ago

About

Zil lang DSL for Lean 4

Readme
34 stars
1 forks