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