/program-proofs-gobra

Examples and exercises from the book Program Proofs translated to Gobra

Watchers