Want to get updates? You can add the feed link to your favourite feed reader. For email updates, you could subscribe via feedrabbit.
#leanprover
Advent of Code 2022 - Lean4
This year, I attempted Advent of Code in Lean 4 - A theorem prover and programming language. My full solutions are available on github:anurudhp/aoc2022
Read more...
