Initial Release
A lightweight web framework for Lean 4.
Features
- Axum-inspired router with path parameters and query parsing
- Type-safe extractors: JSON, Form, Path, Query, Headers, Auth, State
- Middleware: CORS, CSRF, rate limiting, timeouts, logging, metrics
- Streaming: SSE, WebSocket, chunked responses
- SQLite integration
Installation
require lithe from git "https://github.com/JoshuaPurtell/lithe" @ "v0.1.0"Requires Lean 4.27.0+