sovereign-array / ArrayLang /ConsistencyCheck.lean

Commit History

chore: convert from dataset to model repo
d0f179a
verified

SNAPKITTYWEST commited on