This lecture covers Sequent Calculus with Equality, focusing on atomic formulas, formulas, and substitution rules. Topics include the use of variables, atomic formulas, and the application of substitution and instantiation rules.
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.
Reprehenderit commodo anim proident nulla ullamco eiusmod quis elit consectetur. Exercitation ipsum velit cillum laborum quis consequat consequat sint dolore quis ex eu sint esse. Anim sint nulla fugiat nisi elit adipisicing incididunt proident proident excepteur velit adipisicing. Culpa aute qui qui mollit aliqua sint. Incididunt adipisicing officia velit eu ea aliqua voluptate est fugiat eu.
