- Website: https://malv.in/
- Pronouns: he/him
m4lvin / dining-benchmark Goto Github PK
View Code? Open in Web Editor NEW๐ฝ๏ธ ๐ Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
License: GNU General Public License v2.0