Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / jacobian-formal /agda

125 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

SNAPKITTYWEST's picture

chore: push full sov-kernel-monster content from local build

9425aed verified about 1 month ago

.lake
chore: push full sov-kernel-monster content from local build about 1 month ago
src
chore: push full sov-kernel-monster content from local build about 1 month ago
COMPLETION_REPORT.md

16.9 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
INDEX.md

12.5 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
PHASE_2_AGDA_SPEC.md

12.6 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
PHASE_3_DISCHARGE_SUMMARY.txt

5.35 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
PHASE_3_ORCHESTRATION_LOG.md

6.04 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
PHASE_3_RESULTS_INDEX.md

6.45 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
README.md

10.7 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
README_PHASE_3.md

5.28 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
lakefile.lean

540 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test-discharge.agda

303 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
validate_holes.sh

835 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago