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: Jan 31 2023 at 11:01 UTC