@article{chernikov2015proof_cfcxa===,
  title = {{Proof of Correctness of a Marching Cubes Algorithm Carried out with Coq}},
  author = {Andrey Chernikov and Jing Xu. Published in Computational Geometry: Theory and Applications Publisher Elsevier March 2015},
  year = {2015},
}