Rare find

anvil. Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

github.com/anvil-verifier/anvil

@anvil-verifier

Problem

Audience

Updates

No founder updates yet. Check back soon.