Fractal or Differential Theorem Provers

I don't see as this post has anything in it, so I'm going to add something. Theorem provers work on concepts. How complex are these concepts. Are they graphs or diagrams? Something in the brain? Theorem provers work in logic, but what if they worked on fractals? Or differential concepts?