Explore projects

This is a formalisation of Wim Ruitenburg's paper "On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus" (JSL 1984).
Updated 
Software / CoPaR
GNU General Public License v3.0 or laterUpdated 
Updated

Software / Reskell
GNU General Public License v3.0 onlyExperimental Haskell implementation of latticevalued resolution.
Updated