Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the development of an abduction prover in Isabelle/HOL through this insightful 50-minute lecture by Yutaka Nagashima at the Hausdorff Center for Mathematics. Gain valuable lessons in life and delve into the intricacies of Isabelle as the speaker demonstrates the prover's functionality. Learn about the conjecturing process, including its steps and results, while witnessing a live demo of the tool in action. Discover how this innovative approach to theorem proving can enhance your understanding of formal methods and automated reasoning.
