Advent-of-Code
/
AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
56 Commits
1 Branch
0 Tags
752 KiB
Tag: Branch: Tree: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

8 Commits (master)

Author SHA1 Message Date
Danila Fedorin 7a8503c3fe Use auto instead of apply.
2 years ago
Danila Fedorin 2b69cbd391 Rewrite using induction on list length.
2 years ago
Danila Fedorin f53c65fb0d Add experimental formalization of (inefficient) solution.
3 years ago
Danila Fedorin c3a12cbf59 Clean up proof for day 8.
3 years ago
Danila Fedorin 8ea03a4c51 Finish first proof for day 8.
3 years ago
Danila Fedorin f0fbba722c Flail around with this goddamn proof some more.
3 years ago
Danila Fedorin 51a679ec63 Mess around some more with proof for day 8.
3 years ago
Danila Fedorin ae6f86302d Give formalizing day 8 a shot.
3 years ago