1:06:59Cosmin Arad's Ph.D. Thesis Presentation on Kompics and CATSSeif Haridi431 viewsView & Download
44:10OSCON: Intuitive distributed algorithms with examples - Alena Hall and Natallia DzenisenkaAI with Lena Hall3.2K viewsView & Download
30:11Lars Kroll - Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable CodeScala Symposium86 viewsView & Download
![[POPL'24] A Formalization of Core Why3 in Coq — ACM SIGPLAN — programming tutorial kompics part iii YouTube to MP3 & MP4 download on TubeGalore](/api/image/c4QHpY5GhWU/mqdefault)
