zheng/specs/tropical-pcs.md tropical PCSsemiring PCStrop PCS cyber computer science cryptography entity computer science ฯ 0.0% 6 words ยท 1 min tropical PCS migrated to lens/reference/tropical-semiring Graph Graph