0.2.22
- feat(frontend): Extract new symbols in each compilation unit
- fix(frontend): Mathlib parsing error #122
- fix(goal): Composite tactic failure capturing https://github.com/lenianiva/Pantograph/issues/1
- chore: Add
aarch64-{linux,darwin}
build targets to flake
100% Completed