p-org / P

This project keeps track of work items related to enabling the P verifier.

This project keeps track of all the things we need to do to make the build system and the CI robust

This project concentrates on improving the P programming language in various ways in order to make it more practical and expressive.