5. Representation Flashcards
1
Q
What is context as a formula?
A
- Sequent Calculus Rules
- 1. Propositional Logic and Natural Deduction
- 2. Natural Deduction and Starting with Isabelle
- 3. Propositional Reasoning in Isabelle
- 4. First-Order Logic
- 5. Representation
- 6. Introduction to Higher Order Logic in Isabelle
- 7. Representation II Locales in Isabelle/HOL
- 8. Isar - A Language for Structured Proofs
- 9. Unification
- 10. Rewriting
- 11. Inductive Proof
- 12. Hoare Logic
