Stream: jsCoq

Topic: jsCoq talk at ML '21 workshop

view this post on Zulip Karl Palmskog (Sep 09 2021 at 05:13):

Not every day a jsCoq talk shows up on Youtube: https://www.youtube.com/watch?v=TtZ1CRN4YEE

view this post on Zulip Shachar Itzhaky (Sep 09 2021 at 07:01):

Oh wow ^^

Last updated: Jun 04 2023 at 23:30 UTC