alcestes

alcestes

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
41 Stars
8 Forks
41 Watchers

Repositories (1)

effpi alcestes/effpi Scala

Verified message-passing programs in Dotty

41