Latest tweets that mention www.labri.fr

@jbeardsleymath I'm going to say "relations," because at least in Coq there's https://t.co/l2uJC9o55u and other mat… https://t.co/1ypK1HYPUKhttps://twitter.com/paul_snively
1 month ago
Latest tweets that mention “LaBRI - Laboratoire Bordelais de Recherche en Informatique”
No results