EasyCrypt reference manual

• Proof tactics reference
  • Tactic: skip