123 kB

Ctrl+K

1 contributor

History: 1 commit

SNAPKITTYWEST

push from SNAPKITTYWEST/Sovereign-Event-Bus

6afa130 verified 30 days ago

BUILD_INSTRUCTIONS.md

6.51 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
FINAL_SUMMARY.md

9.47 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
MANIFEST.md

11 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
Main.lean

3.92 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
PROOF_CERTIFICATE.md

6.76 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
README.md

11.3 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB.lean

9.07 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_CHAIN_DETERMINISM_INVARIANT.xml

14.5 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_LATTICE_CIRCUIT_SPECIFICATION.xml

3.92 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_Lattice.lean

4.79 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_SovereignStack.lean

5.05 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_Standalone.lean

5.8 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_Verification.lean

9.58 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_Verified.lean

5.71 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
SEB_Worm.lean

4.97 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
Tests.lean

1.11 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
VERIFICATION_REPORT.md

7.43 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
lake-manifest.json

2.25 kB
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
lakefile.lean

198 Bytes
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago
lean-toolchain

25 Bytes
push from SNAPKITTYWEST/Sovereign-Event-Bus 30 days ago