|
|
|
|
|
|
by planguage
1263 days ago
|
|
|
Yes, P has been updated a lot in the last 6 years. Much better documentation and compiler. There is going to be a new release in a couple of months with a verifier as well as a way to check P specifications on implementation. |
|
|