Lecture

Auxiliary Assertions in Stainless

In course
DEMO: commodo culpa
Voluptate officia minim laboris cillum fugiat do cupidatat eu veniam. Anim exercitation non aute reprehenderit deserunt reprehenderit anim tempor sint sit enim magna non. Esse tempor dolore sunt minim sint laboris mollit fugiat occaecat commodo eu. Commodo commodo officia occaecat enim in nulla in. Ipsum non cupidatat nulla culpa culpa esse culpa laborum.
Login to see this section
Description

This lecture demonstrates the use of assertions in Stainless, a verification system, through examples with fractions. The instructor explains how to define fractions, perform operations on them, and prove properties like commutativity and associativity using assertions to assist the theorem prover.

Instructor
duis incididunt voluptate ullamco
Aute veniam ipsum veniam laborum laborum excepteur laborum sint eiusmod. Laboris sit incididunt et sunt occaecat veniam aliqua veniam ad aliquip adipisicing dolore laborum non. Mollit proident culpa pariatur cupidatat qui commodo ut labore deserunt voluptate. Dolore duis magna aute ipsum pariatur et anim minim culpa est.
Login to see this section
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.