Stream: SerAPI

Topic: SerAPIs for Isabelle


view this post on Zulip Emilio Jesús Gallego Arias (Sep 13 2021 at 14:32):

https://www.youtube.com/channel/UCrpChEhaz7FS_6Q7gtzFlFQ

More at https://behemoth.cl.cam.ac.uk/serapis/

view this post on Zulip Karl Palmskog (Sep 13 2021 at 14:45):

ah, right, but they spell it SErAPIS


Last updated: Feb 06 2023 at 06:29 UTC