Snapkitty
/

hyperkitty-constraint-dsl

Model card Files Files and versions

hyperkitty-constraint-dsl / lean /sov-kernel-monster

155 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

SNAPKITTYWEST's picture

push from SNAPKITTYWEST/hyperkitty-constraint-dsl

224e773 verified 5 days ago

AHMAD_PROOFS.lean

4.99 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
AdaptiveVerifiedRuntime.lean

11.2 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
BifrostPersonaOrch.lean

8.13 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
IntercolDomains.lean

7.97 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
JordanMatrixProof.lean

8.28 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
MOCJordanRoundtrip.lean

5.19 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster.lean

24 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster_Gaps.lean

18.8 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster_Knowledge.lean

2.33 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster_Matrix.lean

11.2 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster_Matrix_Closed.lean

20.7 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster_MetaAgent.lean

11 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovMonster_PadeHermitian.lean

4.02 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
SovereignCalculusBridge.lean

15.7 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago
lakefile.lean

1.39 kB
push from SNAPKITTYWEST/hyperkitty-constraint-dsl 5 days ago