Snapkitty
/

tlm-jxcl-forge

october-2026-drop

formal-verification

quantum-computing

Model card Files Files and versions

tlm-jxcl-forge / tensor-forge /spec /NArrayLogic.cfg

SNAPKITTYWEST's picture

October 2026 main drop: mirror from GitHub (part 3)

99d3d5f verified 10 days ago

Raw History Blame Contribute Delete

81 Bytes

	CONSTANT N = 4

	SPECIFICATION Spec

	INVARIANT TypeOK
	PROPERTY EventuallyTerminal