f80af5c | Dan Licata | 01 March 2021, 22:21:01 UTC | edit README | 01 March 2021, 22:21:01 UTC |
d6511ca | Dan Licata | 01 March 2021, 22:20:28 UTC | edit README | 01 March 2021, 22:20:28 UTC |
4343e1b | Dan Licata | 01 March 2021, 22:19:24 UTC | edit README | 01 March 2021, 22:19:24 UTC |
2c60d95 | Dan Licata | 01 March 2021, 21:34:55 UTC | updated presentation from fall 2020 to spring 2021 | 01 March 2021, 21:34:55 UTC |
6638702 | Dan Licata | 25 February 2019, 18:21:06 UTC | new version of code (take 2) | 25 February 2019, 18:21:06 UTC |
beec342 | Dan Licata | 25 February 2019, 16:58:13 UTC | push new version of code (take 2) | 25 February 2019, 16:58:13 UTC |
8a7984e | Dan Licata | 25 February 2019, 16:57:21 UTC | push new version of code (take 2) | 25 February 2019, 16:57:21 UTC |
81b66a6 | Dan Licata | 25 February 2019, 16:55:11 UTC | push new version of code (take 2) | 25 February 2019, 16:55:11 UTC |
5670df5 | Dan Licata | 17 February 2019, 17:47:56 UTC | revised version of paper | 17 February 2019, 17:47:56 UTC |
48e95b2 | Dan Licata | 06 December 2017, 14:54:03 UTC | fix decidable propositions vs decidable sieves | 06 December 2017, 14:54:03 UTC |
471598e | Dan Licata | 06 December 2017, 01:36:50 UTC | paper | 06 December 2017, 01:36:50 UTC |
c78b685 | Dan Licata | 06 December 2017, 01:36:07 UTC | Merge branch 'master' of github.com:dlicata335/cart-cube | 06 December 2017, 01:36:07 UTC |
60487c4 | Dan Licata | 06 December 2017, 01:35:57 UTC | paper | 06 December 2017, 01:35:57 UTC |
7e5803f | Dan Licata | 06 December 2017, 01:22:28 UTC | Update README.md | 06 December 2017, 01:22:28 UTC |
abd825b | Dan Licata | 06 December 2017, 01:20:20 UTC | readme | 06 December 2017, 01:20:20 UTC |
ee4bce7 | Dan Licata | 06 December 2017, 01:09:19 UTC | agda formalization | 06 December 2017, 01:09:19 UTC |