3 ms·

Its available alongside P: https://github.com/p-org/PSharp https://github.com/p-org/PSharp

• qznc 10y ago
  Hm, there is another P#: http://homepages.inf.ed.ac.uk/stg/research/Psharp/ http://homepages.inf.ed.ac.uk/stg/research/Psharp/