Working Workshops Bucharest October 2023 - Horatiu Cheval: Matching Logic in Lean
Channel: Runtime Verification
Date: 31/10/2023

Working Workshops Bucharest October 2023 
Horatiu Cheval - University of Bucharest: Matching Logic in Lean

Follow us: 
Website: https://runtimeverification.com/
Twitter: https://twitter.com/rv_inc
Discord: https://discord.com/invite/CurfmXNtbN