[nestorD]

I was told Coq but, after some checking, I can only find the B method indeed. However I did find a paper mixing both ([0]) : using Coq to prove the more complex proofs generated by atelier B. So it might have been both.

[0] https://perso.crans.org/cauderlier/org/art%253A10.1007%252Fs...