Tactics🔗

Recipes:

1. Hello World Tactic
2. Tactics as shortcuts
3. Viewing and Closing Goals
4. Modifying Goals
5. Checking Tactics
6. Replacing with What Works