equivalence: a port's proof runs the programs its task LINKs to as Java - #4207

equivalence: a port's proof runs the programs its task LINKs to as Java#4207

squid-protocol merged 6 commits into

mainsquid-protocol/gitgalaxy:mainfrom

fix/model-proof-linked-programssquid-protocol/gitgalaxy:fix/model-proof-linked-programsCopy head branch name to clipboard