Discover @julmue Open Source projects

jules (@julmue)

julmue

Stars
4
Global Rank 1,604,727 (Top 56 %)
Followers 4
Following 7
Registered over 10 years ago
Most used languages

Haskell
66.7 %

Prolog
33.3 %

Clank

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

DpllDimacSatSolver

sat solver in prolog for dimac cnf using the dpll algorithm

HaskellCurryHoward

a short introduction to the curry-howard isomorphism in haskell