What’s New

2022-07-25

Added an exercise directive, so I can start adding exercises to the core.

2022-07-08

Added the Standard Modules reference.

2022-06-30

Released beta!

Roadmap

• Core:

  • Exercises

  • Fixing whatever people find hard to understand

  • Some more diagrams

• Topics:

  • Refinement

  • Modeling ADTs

  • Optimizing model-checking

  • Community modules

  • Modeling legacy systems

  • Machine-world differences

  • Keeping a spec and a codebase in sync

  • Hyperproperties

  • :: syntax

• Examples:

  • Many

• Reference:

  • A troubleshooting page

  • LaTeX to ASCII chart

• Misc:

  • PDF output for offline use

  • Panels for C-syntax pluscal

  • Popup footnotes