parsing

•published 2026/01/22

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

Install directly with the `skills` CLI.

npx skills add kim-em/AoC2025/.claude/skills/parsing

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content