sumcheck/src, branch master Unnamed repository; edit this file 'description' to name the repository. http://cyfraeviolae.org/git/sumcheck/atom?h=master 2021-05-30T20:47:16+00:00 associativity for -> and <-> 2021-05-30T20:47:16+00:00 cyfraeviolae cyfraeviolae 2021-05-30T20:47:16+00:00 urn:sha1:22129a2fcb660a29e1ed6935713282bc78c8d62f less hopcroft 2021-05-30T02:31:24+00:00 cyfraeviolae cyfraeviolae 2021-05-30T02:31:24+00:00 urn:sha1:f33ee02f7a0b9836f6ea6321f4f8c015dfe1e850 Generalize Le/Lt to support multiple addends 2021-05-30T02:27:28+00:00 cyfraeviolae cyfraeviolae 2021-05-30T02:27:28+00:00 urn:sha1:cef781f44be4c44d1deabfbf74a78bb63cfdc969 Cleanup hopcroft 2021-05-30T01:55:25+00:00 cyfraeviolae cyfraeviolae 2021-05-30T01:55:25+00:00 urn:sha1:1f5e25758603870cbc8261935850ec9a922469f5 indistinguishability minimization 2021-05-30T01:14:04+00:00 cyfraeviolae cyfraeviolae 2021-05-30T01:14:04+00:00 urn:sha1:b76ffcb6e2bab640f6896dcdaaef2732edfd1617 fix additive identity example 2021-05-18T23:35:59+00:00 cyfraeviolae cyfraeviolae 2021-05-18T23:35:59+00:00 urn:sha1:b66ac09af03b69d409df27ef32c90fa38924af2f update a 2021-05-16T23:23:23+00:00 cyfraeviolae cyfraeviolae 2021-05-16T23:23:23+00:00 urn:sha1:915d31f275304e1c6327f7062c7064fc0f328044 init 2021-05-16T22:22:49+00:00 cyfraeviolae cyfraeviolae 2021-05-16T22:22:49+00:00 urn:sha1:1da9b25ff814d681afc3b741739bffbca7cc45e8