A Closer Look at Formal Proofs

• high-level, tactic style
• proof information local to proof nodes

Hypotheses

Goal statement

Applied Tactic

Subgoal statements

Previous slide

Next slide

Back to first slide

View graphic version