▲ 3 pointsGoedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verificationgoedelcodeprover.github.ioby matt_d·4mo ago·0 comments·view on hn ↗