h5i-app-pgsql
PostgreSQL text for h5i-app's planned statements; extracted to Lean and proven to mean what the planner's statements mean
Activity
- Latest release
- 22h ago
- Total releases
- 5
- Cadence
- ~5 days
- Last 12 months
- 5
Reach
- Downloads
- 299
Details
- License
- Apache-2.0
- First release
- Oct 02, 2026
Releases
| Version | Released | |
|---|---|---|
0.1.4
patch
| ||
0.1.3
patch
| ||
0.1.2
patch
| ||
0.1.1
patch
| ||
0.1.0
initial
|