First invited speaker announced! Pierre Castéran on program proving and synthesis with Coq. #lisp #els2016  http://www.european-lisp-symposium.org/
Shared publiclyView activity