Skip to content
View m4lvin's full-sized avatar
πŸ€”
πŸ€”
64 followers · 41 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Organizations

@jrclogic

Block or report m4lvin

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
m4lvin/README.md

βˆ€πŸ“… βˆƒπŸš²: 🚴

Pinned Loading

  1. jrclogic/SMCDEL jrclogic/SMCDEL Public

    A symbolic model checker for Dynamic Epistemic Logic.

    Haskell 49 9

  2. lean4-pdl lean4-pdl Public

    Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

    Lean 15 3

  3. HasCacBDD HasCacBDD Public

    Ξ»πŸŽ„ Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

    C++ 5 2

  4. GoMoChe GoMoChe Public

    πŸ—£οΈπŸ“ž Gossip Model Checking

    Haskell 2 1

  5. modal-tableau-interpolation modal-tableau-interpolation Public

    Modal Tableau with Interpolation in Haskell

    Haskell 2

  6. RepLeanTeX RepLeanTeX Public

    Running Lean 4 while/from running LaTeX.

    Shell 5