Using a better way to write with tqdm. Also show the number of lemmas that were able to carry this
Using a better way to write with tqdm. Also show the number of lemmas that were able to carry this

crscardellino/thesis,crscardellino/thesis,crscardellino/thesis