Comment by emorning3

I dont want to prove that my code is correct.

I would prefer to create specifications in logic and have the code derived for me.

Other than something like Prolog, are there tools for working this way?