Proof tactics reference

• Tactic: cfold
• Tactic: clear
• Tactic: hoare split
• Tactic: if
• Tactic: proc
• Tactic: proc*
• Tactic: rnd
• Tactic: skip
• Tactic: splitwhile Tactic
• Tactic: swap