7-11 Jan 2019
Amsterdam, The Netherlands
Dear all, From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam. More information available here: https://lean-forward.github.io/lean-together/2019/index.html Best wishes, Benno van den Berg -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam