AoC2025

AoC2025 contém 1 skills coletadas de kim-em, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

skills coletadas

Stars

atualizado

2025-12-04

Forks

Cobertura ocupacional

1 categorias ocupacionais · 100% classificado

explorador de repositórios

Skills neste repositório

criador/repositório/skill

skill

ocupação

descrição

atualizado

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