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: Apr 18 2024 at 17:02 UTC