If a co-worker (team leader) has threatened to strangle me, question my hearing & constantly bring my mood down should I get HR involved?

I'm a (M, 23 ) I don't have recorded evidence just written down dates of these events occurring she has been at the company for a few years.
If a co-worker (team leader) has threatened to strangle me, question my hearing & constantly bring my mood down should I get HR involved?
Post Opinion