Do you use Artificial Intelligence for Ada coding?

[AdaOrbit]

@clanker-lover

I’m interested in the intersection of AI code generation and formal verification

Why not use LEAN or Rocq (prev. called QoC) or any other formal verification language?