-
v0.3.2 Stable
released this
2025-06-19 13:11:09 -07:00 | 64 commits to dev since this releasechore: Update Lean to at least v4.19.0
feat(frontend): Pipe data extraction output to fileDownloads
released this
chore: Update Lean to at least v4.19.0
feat(frontend): Pipe data extraction output to file