Explore projects
-
Updated
-
Experimental Haskell implementation of lattice-valued resolution.
Updated -
This is a formalisation of Wim Ruitenburg's paper "On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus" (JSL 1984).
Updated