Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
491 B · 15 lines
at bend/all
12345678910111213141516# eukhe: the proof of LAW package_source_git_example## PROOF: closed: both sides compute.
import Baseimport ../../bend/package_source.bend as Psimport ../../bend/ffi_package_source.bend as FPsimport ../../bend/wire.bend as Wrimport ../../laws/base.bend as LawsBaseimport ../../laws/wire.bend as Wireimport ../../laws/package_source/model.bend as PackageSourceimport ../../laws/package_source/entry.bend as PackageSourceEntry
def PackageSource.package_source_git_example(): {==}