Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification

(goedelcodeprover.github.io) by matt_d | Mar 27, 2026 | 0 comments on HN