> protein folding overall - is knot theory not used there?

To my knowledge, no. There has been some analysis done on knots in folded proteins:

https://www.umass.edu/microbio/chime/knots/index.htm

(particularly by Prof. Taylor) but this is not the same as using knot theory for analysing the folding process or for predicting folds.