Toolkit for Theoretical Computer Science