Adrien is (remotely) presenting recent work on cvc.lean at the 2024 CVC5 summit 🐙
The talk will be about 30 minutes and demo-heavy. We want to show cvc.lean’s basic API and safe API compared to lean-cvc5, as well as the brand new (toy) tactic falsifiable? based on lean-auto.
Slides (PDF).