Stream: SerAPI

Topic: SerAPIs for Isabelle

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/

Karl Palmskog (Sep 13 2021 at 14:45):

ah, right, but they spell it SErAPIS

Last updated: Jun 01 2023 at 12:01 UTC