h5i
A Rust web framework with Lean 4 verification
7 followers
A Rust web framework with Lean 4 verification
7 followers
h5i is an Axum-based Rust web framework that lets developers formally verify application logic with Lean 4. Its kernel-based architecture also supports optional GPU acceleration, with integrated development tools for agent-native red-teaming, browser automation, and CI/CD.
