We describe theorem provers for some decidable propositional substructural logics.