GoMoChe

🗣️📞 Gossip Model Checking

GPL-3.0 License

Stars
2
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Badges
Extracted from project README
CI status Gitpod Ready-to-Code
Related Projects
SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

29 May 2015 39
koka

Koka language compiler and interpreter

08 Dec 2016 3,253
Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

31 Dec 2016 62
modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

27 Aug 2020 2