m4lvin/modal-tableau-interpolation

Stars
2
Language
Haskell
License
GNU General Publi...
Created over 4 years ago
Updated about 2 years ago

m4lvin/modal-tableau-interpolation

m4lvin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Modal Tableau with Interpolation in Haskell

tablean

tableau for modal logic in Lean

lean4-pdl

mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

modal-logic-final-embedding

Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html

nextcloud-client-debian-packaging

DEPRECATED - please use the nextcloud-desktop package in stretch-backports or the AppImage from nextcloud.com

HasCacBDD

λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

illc-phd-thesis-template

🎓 The ILLC Dissertation Style with some adjustments and scripts.

GoMoChe

🗣️📞 Gossip Model Checking

orgToRem

Get your org-mode agenda on the Remarkable tablet.

m4lvin