Goedel-Code-Prover — Project Page Project page for Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification. [Paper] [Code] [Model] Website template adapted from Nerfies (CC BY-SA 4.0).