GitHub repository: viperproject/program-proofs-gobra
Created: 2023-05-25T19:54:35Z
Description: Examples and exercises from the book Program Proofs translated to Gobra