This website requires JavaScript.
Explore
Help
Sign In
Advent-of-Code
/
AdventOfCode-2020
Watch
1
Star
0
Fork
0
You've already forked AdventOfCode-2020
Code
Issues
Pull Requests
Releases
Wiki
Activity
17
Commits
1
Branch
0
Tags
752
KiB
3d5c13cf6a
Commit Graph
1 Commits
Author
SHA1
Message
Date
Danila Fedorin
aee4c67e43
Add day 1 part 1 formalized in Coq.
2020-12-01 19:44:47 -08:00