Our debut episode of UnitedReasoning's paper review series is live! 🧠 Dive into the world of theorem proving as we explore how the Proof Strategy Language (PSL) is making proof automation in Isabelle/HOL more accessible.

https://youtu.be/xGQQJKTtgsE