IDEF Math is in the works.

We are building a mathematical reasoning and geometry intelligence platform. The website is currently being prepared and will be available soon.