Training material

[danielsn]

Infra:

• Tools and CI "Hello World" for the documentation Initial hello world for RMC documentation #456
• Extracting and testing the examples from the documentation Run compiletest on rmc documentation code #635

Docs:

• Getting started guide Draft of initial RMC documentation #471
• Installation guide Draft of initial RMC documentation #471
• Comparison with other tools initial documentation Draft of initial RMC documentation #471
• Using RMC on a single file Add 'real code' section to tutorial, plus command line args docs #525
• Using cargo-rmc Introduce documentation for building a larger cargo project #554
• Developer documentation Introduce dev command 'cheat sheets' #572
• Migration of CBMC tutorial docs to RMC
  • Introduce the first section of the RMC tutorial #474
  • Add second section of the tutorial #481
  • Introduce loops, unwinding, and bounds tutorial #494
  • Add 'real code' section to tutorial, plus command line args docs #525

[tedinski]

Here's the work for this issue:

[migrated to OP]