giving a talk

Stream: general

[Jeremy Avigad]

I'm in the middle of giving a talk to Brazilian logicians, telling them how great Lean is.

[Johan Commelin]

Cool! Looking forward to your slides!

[Junyan Xu]

Screenshot_2020-08-20-15-45-47_com.google.android.apps.meetings.png

[Junyan Xu]

(deleted)

[Junyan Xu]

I am not a Brazilian logician but I got the meeting link from http://sbl.org.br/pmwiki.php/LQ/Quarentena from researchseminars.org

[Jeremy Avigad]

Ha! I was pleasantly surprised that there was a nice audience and a lot of questions. The slides are already posted on my web page:
http://www.andrew.cmu.edu/user/avigad/Talks/quarantine.pdf
It was to an audience of logicians. I told mathematical logicians that they should pay more attention to formalized mathematics. (Those are my origins, so have a right to complain about it a little.)

[Jeremy Avigad]

I told them all to try Lean and then come here with questions.

[Johan Commelin]

Brace for impact (-;