Hello

Hey, I'm Anton, co-founder and CEO of Corca.

We're building first AI-native IDE for Symbolic Reasoning. 

You can find me here https://x.com/antonzoi