Problems in General Topology Via Types -- A Tool for Automated Theorem Proving in Agda