sumcheck/app, branch master Unnamed repository; edit this file 'description' to name the repository. http://cyfraeviolae.org/git/sumcheck/atom?h=master 2024-01-19T03:13:02+00:00 src url 2024-01-19T03:13:02+00:00 cyfraeviolae cyfraeviolae 2024-01-19T03:13:02+00:00 urn:sha1:b9456b2d24140bbe3bed2fb9dea0b2c2ec860e97 styles 2022-03-01T01:55:55+00:00 cyfraeviolae cyfraeviolae 2022-03-01T01:55:55+00:00 urn:sha1:a7b12443fbc768e128f3838d19ccc53ebde2756d fix decide url 2022-02-24T18:39:57+00:00 cyfraeviolae cyfraeviolae 2022-02-24T18:39:57+00:00 urn:sha1:ba0444605b5cdeaa6e0a6fc2707a9e69e64ce7f2 git 2022-02-23T05:31:02+00:00 cyfraeviolae cyfraeviolae 2022-02-23T05:31:02+00:00 urn:sha1:3451083187a70ee4dfe249d2dee20e8d8e5b58d6 build 2022-02-23T02:53:46+00:00 cyfraeviolae cyfraeviolae 2022-02-23T02:53:46+00:00 urn:sha1:28eaf16f8ee1bcda3404c1e9461b13e6cc9c3ca7 associativity for -> and <-> 2021-05-30T20:47:16+00:00 cyfraeviolae cyfraeviolae 2021-05-30T20:47:16+00:00 urn:sha1:22129a2fcb660a29e1ed6935713282bc78c8d62f 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 fix additive identity example 2021-05-18T23:35:59+00:00 cyfraeviolae cyfraeviolae 2021-05-18T23:35:59+00:00 urn:sha1:b66ac09af03b69d409df27ef32c90fa38924af2f examples 2021-05-17T10:49:11+00:00 cyfraeviolae cyfraeviolae 2021-05-17T10:49:11+00:00 urn:sha1:cabe9f41850e7dd100a17153989a97a45d178da5