Comment by svara

Can you give some examples of this? Maybe have something online? I would love to learn more about how to do proof driven AI assisted development.