Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/federicoponzi/tlaplus-wiki
A community sourced free tla+ formal methods wiki.
https://github.com/federicoponzi/tlaplus-wiki
formal-methods mdbook-book model-checking tlaplus wiki
Last synced: 2 months ago
JSON representation
A community sourced free tla+ formal methods wiki.
- Host: GitHub
- URL: https://github.com/federicoponzi/tlaplus-wiki
- Owner: FedericoPonzi
- License: apache-2.0
- Created: 2024-06-12T16:45:30.000Z (8 months ago)
- Default Branch: main
- Last Pushed: 2024-09-08T18:49:08.000Z (5 months ago)
- Last Synced: 2024-09-08T20:13:52.227Z (5 months ago)
- Topics: formal-methods, mdbook-book, model-checking, tlaplus, wiki
- Language: CSS
- Homepage: https://federicoponzi.github.io/tlaplus-wiki/
- Size: 845 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# tlaplus-wiki
This is an effort to try to centralize some documentation related to TLA+.
Contribution are very welcome! Please find a page that is still in draft, open an issue and start working on it. Other than new content; fixes, feedback, comments, requests are all welcome.
---
## Bulding
You will need cargo (rust package manager) and some components:
```
cargo install mdbook
## to show last change date at the bottom of the pages.
cargo install mdbook-last-changed
## ToC
cargo install mdbook-toc
## better latex support
cargo install mdbook-katex
```
and run with:
```
mdbook serve --open
```