using quantifiers webinar *CVL 1*

This video uses an older version of the CVL language that is no longer compatible with the Prover Senior Researcher Jochen Hoenicke teaches how to write rules more concisely using quantifiers. You will learn the syntax, understand the use cases, and simplify your specifications. We will analyze examples based on real code: EnumerableSet: We show that the set view and the array view are always consistent and all methods work as expected. https://github.com/OpenZeppelin/openz... LinkedList: A simple struct-based singly-linked list with reachability. DoubleLinkedList: We show consistency of linkage. https://github.com/morpho-org/morpho-...