Fwd: Learning Lean

[Siddhartha Gadgil]

Kevin Buzzard is giving an introduction to Lean today at 9:30 am IST at IISc

This will be hybrid. A zoom link is https://imperial-ac-uk.zoom.us/j/93635152990?pwd=NnBnL04vT3AvWGZlTGY2cldHQUVTdz09

On Fri, 31 Mar 2023 at 22:38, Parthanil Roy <partha...@gmail.com> wrote:

Sounds good, thanks! 

On Fri, 31 Mar, 2023, 10:36 pm Siddhartha Gadgil, <siddhart...@gmail.com> wrote:

Had not thought about this, but hybrid may work fine - I will check with Kevin Buzzard and confirm on Monday.

best,

Siddhartha

On Fri, 31 Mar 2023 at 22:33, Parthanil Roy <partha...@gmail.com> wrote:

Dear Siddhartha, 

Thanks for sharing. Will they be only in person talk or hybrid? 

Thanks and regards, 

Parthanil

On Fri, 31 Mar, 2023, 10:13 pm Siddhartha Gadgil, <gad...@iisc.ac.in> wrote:

Dear All,

         Proof Assistants, especially the Lean theorem prover, are rapidly entering the mainstream of mathematics, with a plenary on these at the International Congress of Mathematicians due to Kevin Buzzard. We are lucky to have Kevin Buzzard visiting IISc. For those who want to get started with the Lean Theorem Prover we will have two semi-independent sessions (so those who cannot make it to the first can still attend the second).

Date: Tuesday, April 4, 2023

Venue: LH-3, Department of Mathematics, IISc

Timings: 9:30 - 11:00 am and 2:00 - 3:00 pm

regards,

Siddhartha

You're receiving this message because you're a member of the Math Seminar Mailing List group from Indian Institute of Science. To take part in this conversation, reply all