def METHOD_NAME():
    """Locate the folders containing proofs in the filesystem."""
    proofs = []
    for root, _, files in os.walk('.'):
        if FS_KEY in files:
            proofs.append(os.path.normpath(root))
    return proofs