To test:
bundle install
bundle exec jekyll serve --incremental
To build:
bundle install
bundle exec jekyll build --incremental
Currently, the page is updated manually on Github pages, due to PlantUML dependency.
-
Notifications
You must be signed in to change notification settings - Fork 2
An instructional website with progressively worked examples of TLA+ specifications and model checking.
License
ElliotSwart/pragmaticformalmodeling
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An instructional website with progressively worked examples of TLA+ specifications and model checking.