feat: JSON format parser#12

Open

hargoniX wants to merge 3 commits intomasterfrom

Commits on Jan 2, 2026

Transition to ndjson export format
ammkrn
committed

Commits on Jan 7, 2026

feat: JSON format parser
hargoniX
committed

Commits on Jan 10, 2026

Update Export/Parse.lean

hargoniX
and
nomeata
authored