Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Fix the case where an invariant failure is ignored #94
Closed
jayaprabhakar closed 3 weeks ago