Skip to content
View julmue's full-sized avatar
4 followers · 7 following

Highlights

  • Pro

Block or report julmue

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. Clank Clank Public

    Clank: proof assistant for propositional logics classical PC, K3, L3, LP, RM

    Haskell 2 1

  2. DpllDimacSatSolver DpllDimacSatSolver Public

    sat solver in prolog for dimac cnf using the dpll algorithm

    Prolog

  3. Crush Crush Public

    Interpreter for the untyped lambda calculus written in haskell

    Haskell 1