This repository was archived by the owner on Apr 12, 2023. It is now read-only.

Simplification in scion.gobra#54

Draft

jcp19 wants to merge 1 commit intomasterfrom

simplify-scion.gobra2

Commits on Nov 20, 2021

save work
jcp19
committed