ax-assistant-release-staging
Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension
Activity
- Latest release
- 2mo ago
- Total releases
- 4
- Cadence
- ~daily
- Last 12 months
- 4
Details
- License
- unknown
- First release
- Aug 12, 2026
| Version | Released | |
|---|---|---|
0.1.3
patch
|
0.1.3
patch
Dependencies (13)
+ 5 more |
|
0.1.2
patch
|
0.1.2
patch
Dependencies (13)
+ 5 more |
|
0.1.1
patch
|
0.1.1
patch
Dependencies (13)
+ 5 more |
|
0.1.0
initial
|
0.1.0
initial
Dependencies (11)
+ 3 more |