#!/bin/bash

pip3 uninstall tarski
