Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with aoc-2024-in-lean4
A curated list of projects in awesome lists tagged with aoc-2024-in-lean4 .
https://github.com/dmytruek/aoc2024-lean4
Advent of Code 2024 solutions using Lean4
advent-of-code-2024 adventofcode adventofcode2024 aoc aoc-2024-in-lean aoc-2024-in-lean4 aoc2024 lean lean4
Last synced: 15 Dec 2024
