|
|
7a8503c3fe
|
Use auto instead of apply.
|
2021-01-02 21:22:07 -08:00 |
|
|
|
2b69cbd391
|
Rewrite using induction on list length.
|
2021-01-02 18:16:00 -08:00 |
|
|
|
f53c65fb0d
|
Add experimental formalization of (inefficient) solution.
|
2020-12-13 23:32:11 -08:00 |
|
|
|
c3a12cbf59
|
Clean up proof for day 8.
|
2020-12-13 20:34:28 -08:00 |
|
|
|
8ea03a4c51
|
Finish first proof for day 8.
Apparently writing proof objects by hand is
easier than using tactics.
|
2020-12-12 22:49:52 -08:00 |
|
|
|
f0fbba722c
|
Flail around with this goddamn proof some more.
|
2020-12-12 20:08:21 -08:00 |
|
|
|
51a679ec63
|
Mess around some more with proof for day 8.
|
2020-12-12 01:44:16 -08:00 |
|
|
|
ae6f86302d
|
Give formalizing day 8 a shot.
|
2020-12-11 11:32:54 -08:00 |
|
