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