Practical deductive verification of OCaml programs (Extended version). ~ Mário Pereira. https://arxiv.org/abs/2404.17901 #FunctionalProgramming #OCaml