dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
f92d2879091d6dc4b45894dda6e00cc0d1d137f7
newt/aoc2023
History

README.md

Attempts to port AOC2023 solutions from Lean4 to see how usable newt is.

Reference in New Issue View Git Blame Copy Permalink