Latest tweets that mention www.labri.fr

Paul Snively

@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