Transition to ndjson export format#10

Open

ammkrn wants to merge 8 commits intoleanprover:masterfrom

ammkrn:json_output

Commits on Jan 2, 2026

Transition to ndjson export format
ammkrn
committed

Commits on Jan 7, 2026

Commits on Jan 9, 2026

chore: namespace backrefs, abbreviate some attrs
ammkrn
committed

Commits on Jan 13, 2026

feat: Export related ind, ctor, rec together
ammkrn
committed

Commits on Jan 15, 2026

feat: export elements of mutual thm/defs together
ammkrn
committed

Commits on Jan 16, 2026