GitHub / kiranandcode / lean-aoc
Advent of code in Lean4
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kiranandcode%2Flean-aoc
PURL: pkg:github/kiranandcode/lean-aoc
Stars: 7
Forks: 0
Open issues: 0
License: None
Language: Lean
Size: 123 KB
Dependencies parsed at: Pending
Created at: 7 months ago
Updated at: 6 months ago
Pushed at: 6 months ago
Last synced at: about 2 months ago
Topics: advent-of-code, lean, lean4
Loading...