Hacker News
- P Language: a state machine-based programming language (2021) https://p-org.github.io/P/whatisP/ 26 comments
Linking pages
- GitHub - p-org/P: The P programming language. https://github.com/p-org/P 199 comments
- GitHub - p-org/P: The P programming language. https://github.com/p-org/P/wiki/PingPong-program 0 comments
- A primer on formal verification and TLA+ — Jack Vanlightly https://jack-vanlightly.com/blog/2023/10/10/a-primer-on-formal-verification-and-tla 0 comments
Linked pages
Related searches:
Search whole site: site:p-org.github.io
Search title: What is P? - P
See how to search.