Hugging Face
Search models, datasets, users...
Ctrl K
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Snapkitty
/
icp-dag-crystallizer
Like
0
Follow
Snapkitty Collective LLC
9
snapkitty
october-2026-drop
prolog
datalog
verilog
xslt
logic-programming
governance
formal-verification
License:
sovereign-leviathan-sl-agpl3-001
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
icp-dag-crystallizer
/
src
/
lattice-kernel
68.9 kB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
SNAPKITTYWEST
Add covenant SPDX headers to every remaining unmarked source file
6d5264f
verified
27 days ago
LatticeKernel.lean
1.98 kB
Add covenant SPDX headers to every remaining unmarked source file
27 days ago
LatticeKernel.v
10.3 kB
Add covenant SPDX headers to every remaining unmarked source file
27 days ago
README.md
6.89 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
lattice_kernel.m
6.28 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
lattice_kernel.pi
8.58 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
lattice_kernel.pl
8.78 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
mu_kanren.scm
10.4 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
path_refine.dl
8.69 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
path_refine.flg
7.01 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
27 days ago
