Topp Mjukvara För Filippo Schiavio

SpanTools är ett open source program som kan kontrollera och definiera system, som uttrycks som nätverk av objekt med övergångar och stater.. SpanTools kan utvärdera Cospan (Monoidal Graph) uttryck, samt att beräkna monoidal grafen av ett uttryck Krav...