-
v0.2.22 Stable
released this
2024-12-11 09:11:00 -08:00 | 122 commits to dev since this release- feat: Extract new symbols in each compilation unit
- fix: Mathlib parsing error #122
- fix: Composite tactic failure capturing https://github.com/lenianiva/Pantograph/issues/1
- chore: Add
aarch64-{linux,darwin}
build targets to flake
Downloads