Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / haskell /test_relativity.hs

SNAPKITTYWEST's picture

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

9425aed verified about 1 month ago

Raw History Blame Contribute Delete

132 Bytes

	test :: Double
	test =
	let m_sun = 1.989e30
	G = 6.674e-11
	c = 299792458.0
	rs = 2.0 * G * m_sun / (c * c)
	in rs