As semiconductors become more and more strategic in the AI industry, we see the rise of a new breed of hardware startups that disrupt the conventions of this field with many new standards arriving mainly from the SW industry. One of them is open source which allows us to build and rely on an infinite license model. In keplertech.io we provide high end open source EDA tools. Our latest release is a C++ core and multi threaded LEC solution that is already adopted by the leaders of the ecosystem: https://github.com/keplertech/kepler-formal We are looking for feedback in order to make it as best as possible for all of you. So feel free to try and provide feedback! Thank you!