aoc-2023/Common/Parsing.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Common/Parsing.lean?h=main 2024-12-17T19:00:48Z Remove useless simp_wf tactic calls 2024-12-17T19:00:48Z Andreas Grois andi@grois.info 2024-12-17T19:00:48Z urn:sha1:bb6cbe0fe0c415fee1ece7980b0667055b0ed2db Begin Day16 2024-12-13T23:09:46Z Andreas Grois andi@grois.info 2024-12-13T23:09:46Z urn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57 Day 14, Part 1. 2024-11-28T20:53:47Z Andreas Grois andi@grois.info 2024-11-28T20:53:47Z urn:sha1:4848d2516919ab7e5652b20e2b33e7cc39a9d4d9 Continue a bit with Day 11 Part 1 2024-09-19T16:01:11Z Andreas Grois andi@grois.info 2024-09-19T16:01:11Z urn:sha1:898e58a116a17b8606b05ecfefa68a7880b20eec Day 11 Parsing 2024-09-18T22:14:18Z Andreas Grois andi@grois.info 2024-09-18T22:14:18Z urn:sha1:2ceb539bf306992e726280c24ce8d7b69e4c8b5e Continue Day11/Parsing 2024-09-18T17:42:46Z Andreas Grois andi@grois.info 2024-09-18T17:42:46Z urn:sha1:2c1f2362c69ab20b10b61bdbebf8e5121eca38b1 Begin Day 11. 2024-09-18T08:00:04Z Andreas Grois andi@grois.info 2024-09-18T08:00:04Z urn:sha1:6554499717d70d5656a3b38a20dc60850674a873