coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participants: Lean Together 2019

From: Rob Lewis <rob.y.lewis AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Call for Participants: Lean Together 2019
Date: Tue, 31 Jul 2018 15:39:35 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rob.y.lewis AT gmail.com; spf=Pass smtp.mailfrom=rob.y.lewis AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf1-f43.google.com
Ironport-phdr: 9a23:Gk3K6BUjfMm+Crau0nwFGg582q7V8LGtZVwlr6E/grcLSJyIuqrYYx2Gt8tkgFKBZ4jH8fUM07OQ7/i+HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9zIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHolTwHNyYn/27Llsx+gqVboBe7qBx+xY7ffYWZOfV6c6/Ye94VQnZMU8lNWyBdG4+wc4UCBPcFMetZs4Xxu14CoB2jDgeuGezv0CdFiXD206M00OovDB/I0xA7Et0UrHjZts/4OLsOXe23yqTD0DXNb+lR2Tf48IXGbhchruqRVrx2b8XQx0gvFxjYhViXs4zlOCia2v4NsmSB6+pvS+yui288qwxqrTivw90jiojNho4P1l/E8iB5zZ8zKNalRkB7ZtukH4FRtyGcL4Z2TcIiQ31ouCYn0bIKo5+7fC8MxZ86xBDfc+SKf5aU7h/nTuqcIjd1iGh4dL++hRu+60etx+P6W8KpylhFtDBFncPJtn0V1xzc9MyHSvxl80ekwzmP1gTT5vhAIUA6iKbXMpAhz7E+m5YJvkTDGSj2mEryjKCIbEkr5u+o6+H/brXnoJ+TKZN0hxngPqgynsGzG+c1PwgUU2SG+Omx1qfv8EL3TblSi/05iKjZsJTUJcQBoa65BhdY0pwk6xmkFTun0M4UnX0ZI1NLeRKHlJPkO17LIP/iDPe/h06gnytsx/DDJrHhGInCLmDfkLf9erZw81JTyA0qzdxG+51UDqwBL+noV0/qtN3YCwc5PBauz+bmDtV9zIIeVniVDq+XKqOB+WOPs+koOqyHYJIfkDf7MfksofD03lEjnlpIR66jlb8ad3GjVqB8JE/fcDzoj8gACk8FuwM/SKrhj1jUAm0bXGq7Q69pv2JzM4mhF4qWGNz82e3T7GKABpRTI1t+JBWJGHbseZ+DXq5VOi2XK85l1DcDUOr4EtNz5VSVrAb/joFfAK/M4CRB7MDs0dF046vYkhRgrWUpXfTY6HmESiRPpk1NRzIy2/oi80l0y1PG1aYhxvIETppc4PRGVgp8PpnZnbR3

Dear all,

We will host the inaugural meeting of the Lean Together workshop in Amsterdam, January 7-11 2019: https://lean-forward.github.io/lean-together/2019/

Lean Together is a meeting for users (both current and future) and developers of the Lean proof assistant and its libraries, focusing on the formalization of mathematics. The 2019 meeting will also serve to kick off the Lean Forward NWO project: https://lean-forward.github.io/

We are seeking participants at all levels of experience with Lean and proof assistants. The program will include tutorial sessions on the system and its libraries. Users of other systems who are interested in mathematical applications are encouraged to attend.

Please save the date, and let us know if you would like to participate!

All the best,

-Rob

[Coq-Club] Call for Participants: Lean Together 2019, Rob Lewis, 07/31/2018