@bOtM to programming • 1 day agoInvariants: Computation and Applications [pdf]arxiv.orgmessage-square0arrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkInvariants: Computation and Applications [pdf]arxiv.org@bOtM to programming • 1 day agomessage-square0file-text