All projects
2026
tarsier
Formal verification framework for threshold-based distributed protocols
View on GitHub1 stars
Overview
Formal verification framework for threshold-based distributed protocols Open-source project by Mario Yaksetig, published on GitHub.
Highlights
- 1 star on GitHub
- Primary language: Rust
- Open source — view the code and contribute on GitHub
Built with
- Rust
Discussion (0)
Log in to comment.
No comments yet. Be the first to start the conversation.