1 result found Sort:
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
121 commits to main branch, last one 5 days ago