Skip to content

Transition to ndjson export format - #10

Merged
hargoniX merged 8 commits into
leanprover:masterfrom
ammkrn:json_output
Jan 23, 2026
Merged

Transition to ndjson export format#10
hargoniX merged 8 commits into
leanprover:masterfrom
ammkrn:json_output

fix: try to export Nat/String declarations for lit

f54fd09
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.