AoC2025

AoC2025 contiene 1 skills recopiladas de kim-em, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

skills recopiladas

Stars

actualizado

2025-12-04

Forks

Cobertura ocupacional

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

Use the lean4-parser library for parsing structured input. Invoke when implementing parsers for AoC puzzles or other text processing tasks in Lean.