EasyCrypt reference manual

• 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