axiomatic-octo
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
- 1mo ago
- Total releases
- 13
- Cadence
- ~daily
- Last 12 months
- 13
Details
- License
- unknown
- First release
- Aug 14, 2026
| Version | Released | |
|---|---|---|
0.3.3
patch
|
0.3.3
patch
Dependencies (15)
+ 7 more |
|
0.3.1
patch
|
0.3.1
patch
Dependencies (15)
+ 7 more |
|
0.3.0
minor
|
0.3.0
minor
Dependencies (15)
+ 7 more |
|
0.2.9
patch
|
0.2.9
patch
Dependencies (14)
+ 6 more |
|
0.2.8
patch
|
0.2.8
patch
Dependencies (14)
+ 6 more |
|
0.2.7
patch
|
0.2.7
patch
Dependencies (14)
+ 6 more |
|
0.2.6
patch
|
0.2.6
patch
Dependencies (14)
+ 6 more |
|
0.2.5
patch
|
0.2.5
patch
Dependencies (14)
+ 6 more |
|
0.2.4
patch
|
0.2.4
patch
Dependencies (14)
+ 6 more |
|
0.2.3
patch
|
0.2.3
patch
Dependencies (14)
+ 6 more |
|
0.2.2
patch
|
0.2.2
patch
Dependencies (14)
+ 6 more |
|
0.2.1
patch
|
0.2.1
patch
Dependencies (14)
+ 6 more |
|
0.2.0
initial
|
0.2.0
initial
Dependencies (14)
+ 6 more |