SPARK Pro (Release 11) New Features

Major Improvements to the use of Functions in Proof Contexts

Part 2 in a series of 5 videos highlighting some of the new features of SPARK Pro (Release 11). This video features ‘Major Improvements to the use of Functions in Proof Contexts’.