Rob Lewis
2018-07-31 13:39:35 UTC
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
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