0.3.2

New Issue

chore: Update Lean to at least ~~v4.19.0~~ 4.20.1
feat(frontend): Pipe data extraction output to file

2025-06-01

100% Completed

chore: Update version to 0.3.2

#212 by aniva was closed 2025-06-19 13:12:11 -07:00

chore: Update Lean to v4.20.1

#209 by aniva was merged 2025-06-18 16:39:19 -07:00

chore/toolchain

feat: Output tactic invocation data to file

#208 by aniva was merged 2025-06-17 11:42:37 -07:00

frontend/tactic-invocation

refactor: Use syntax tactic in unit test

#207 by aniva was merged 2025-06-17 11:51:36 -07:00

Execute tactic syntax

#206 by aniva was closed 2025-06-17 11:51:46 -07:00

chore: Update Lean to v4.19.0

#205 by aniva was merged 2025-06-16 13:54:09 -07:00

chore/toolchain

Pipe data extraction functions to file

#204 by aniva was closed 2025-06-18 21:15:12 -07:00

chore: Code cleanup

#202 by aniva was merged 2025-06-16 13:57:27 -07:00