Hesper
Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build provably correct GPU compute and ML inference engines.
1-3 of 3 versions of Hesper
Sort by
Date
98210a6v4.26.07573f87v0.6-125tpsv4.26.0fac8fd9v0.5-116tpsv4.26.0