Nice slides... (me salivates at MM0, wanna use it, wanna use it)
On my side, I have made some nice breakthroughs these past weeks
and I think that I am on track to disrupt what people think about how
interactive theorem provers should look
(well, we shall see).
I just need a few more days to polish things further and I'll release a
video of Mephistolus Milestone 6
Best regards,
Olivier
Le 18/01/2020 à 23:05, Mario Carneiro a écrit :
On Wed, Jan 15, 2020 at 2:09 PM Mario Carneiro <[email protected]
<mailto:[email protected]>> wrote:
On Wed, Jan 15, 2020 at 8:16 AM vvs <[email protected]
<mailto:[email protected]>> wrote:
I was very interested in FOMM 2020, but as there is no
transcript I'm forced to look at slides and read some second
hand impressions.
All the talks were recorded and streamed, and they are set to
appear on youtube shortly. I'll post a link when they come out.
The FOMM 2020 talks are all on youtube now:
https://www.youtube.com/playlist?list=PLlF-CfQhukNkWwZt45vkNfWfuO-tBBqPN
My talk:
https://www.youtube.com/watch?v=CqZzbaEuNBs&list=PLlF-CfQhukNkWwZt45vkNfWfuO-tBBqPN&index=18&t=0s
Unfortunately the slides are washed out in the video, so you will have
to follow along here:
http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_carneiro.pdf
Mario
--
You received this message because you are subscribed to the Google
Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/CAFXXJSuVkXKCHFP4VmEtqxcxftjaLym7wf84qzVRpgcR%2BnM%2BOw%40mail.gmail.com
<https://groups.google.com/d/msgid/metamath/CAFXXJSuVkXKCHFP4VmEtqxcxftjaLym7wf84qzVRpgcR%2BnM%2BOw%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/9e4de448-8d67-e48e-95f8-858074401502%40gmail.com.
