domino-lang

domino-lang/domino

Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols

17 stars 1 forks 17 watchers Rust Apache License 2.0

cryptography formal-verification

View on GitHub Website

1 Open Issue Need Help Last updated: Jul 25, 2026

Open Issues Need Help

View All on GitHub

Error message when proving `equivalence A A` 11 days ago

good first issue

domino-lang/domino

17

Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols

Rust

#cryptography#formal-verification