Comment by sjdv1982

I was initially very excited about this, but looking at the code: https://github.com/yamafaktory/formal/blob/4f95787ceeabb0f09...

To extract properties to verify... you call Claude??