Your historical roots are disappearing...

[Tim Daly]

There is a company that was recently started https://axiommath.ai

They are using my common law trademark "Axiom" despite repeated

notices. I contacted some Trademark law firms. They all said that it

was not possible to win a lawsuit against a company funded with

multi-million dollars. The Trademark applies to computer mathematics

and logic due to efforts with LEAN at CMU. I spent 6 years at CMU

working on this specific area with LEAN as part of the Axiom project.

I continue to work on the merger.

It has now reached "the popular press":

https://youtu.be/BH5_FEJNOGY?t=248

I'm watching "Axiom" being written out of history.

Even the Axiom book is no longer on sale at Amazon.

I would think that intellectual property theft matters to academics.

On the upside, nobody seems to be using "Fricas" :-)