Snapkitty
/

snapkitty-clojure-lisp-bridge

SNAPKITTYWEST commited on 1 day ago

Commit

bdaf3e1

verified ·

1 Parent(s): 65e28a9

Metadata: discovery tags (collection, languages)

Files changed (1) hide show

README.md CHANGED Viewed

@@ -2,6 +2,9 @@
 license: agpl-3.0
 tags:
 - snapkitty
 ---
 # SOVEREIGN KNOWLEDGE ENGINE

 license: agpl-3.0
 tags:
 - snapkitty
+- compilers
+- clojure
+- lean4
 ---
 # SOVEREIGN KNOWLEDGE ENGINE