When it comes down it, marketing and a team of academics whose backgrounds are mainly in Automatic Theorem Proving / Formal Verification Theory (ATP / FVT) will prevail better even if you had the idea to apply it before them.
Regardless, keep doing what you're doing.
short answer: i dont claim that their project is a copy, it's even different, i refer only to that article that refers to my writings without mentioning it nor accurately representing them. long answer, including additional thoughts on the article, i'll write later on