Tools for Logic Wiki/Libraries