@misc{indiciae208e48a15d22,
  title = {Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)},
  author = {Tiago Lopes Soares and Ion Chirica and Mário Pereira},
  year = {2024},
  url = {https://arxiv.org/abs/2407.17289},
  note = {Source identifier: 2407.17289}
}