Getting Started with Steel
The recommended place is to start is Steel examples, specifically the ERC20 Counter example.
The create-steel-app script will allow you to set up the erc20-counter example locally in one command:
sh <(curl -fsSL https://getsteel.xyz)
This example acts as your skeleton project structure for further development. Once the script is finished, you can run through a test workflow with either local proving or Bonsai proving.
Further Steel documentation will guide you through the ERC20-counter example as a guide to explain Steel in detail.