New post: A Sketch of Categorical Relation Algebra Combinators in Z3Py http://www.philipzucker.com/a-sketch-of-categorical-relation-algebra-combinators-in-z3py/ … #categorytheory #python #z3
0 replies
5 proslijeđenih tweetova
17 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.