# verigu/distai

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/verigu-distai).**

_How this analysis was created: the description and tags below were written by an AI model that read this project's README and public documentation pages; stars, license and language come straight from the GitHub API. The model does not read the source code._

0 stars · 0 forks

## Links

- GitHub: https://github.com/VeriGu/DistAI
- awesome-repositories: https://awesome-repositories.com/repository/verigu-distai.md

## Tags

### Part of an Awesome List

- [Formal Verification](https://awesome-repositories.com/f/awesome-lists/devtools/formal-verification.md) — Data-driven tool for learning invariants in distributed protocols.