p-org/P

The P programming language.

⭐ 3.7k ⑂ 224 C# MIT · 1 天前推送

https://p-org.github.io/P/

asynchronous distributed-systems event-driven formal-methods model-checking programming-language state-machine formal-verification p systematic-testing

3.7k

Watchers

0

贡献者

0

Commits

0

Releases

29

Open Issues

1 天前

最近推送

原文中文

暂无 README