diff --git a/resume.html b/resume.html index 718d37c..425ca0f 100644 --- a/resume.html +++ b/resume.html @@ -76,7 +76,7 @@ Solutions for Advent of Code 2020 problems, with select puzzles formalized using Coq. -->