Skip to content

rwbarton/advent-of-lean-4

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

advent-of-lean-4

My attempts at solving the Advent of Code 2020 puzzles in Lean 4.

Please note:

  • This repository contains spoilers for AoC 2020. (Obviously!)

  • Lean 4 is still work in progress, so some of these solutions might stop working as Lean 4 evolves.

  • This project is not affiliated with Lean 4 in any way.

About

Advent of Code 2020 solutions in Lean 4

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages