Andrey Chernikov

This is a list of open source software projects that Andrey Chernikov is associated with:

• Proof of Correctness of Marching Cubes   Last Updated: 2015-01-23
• Proof of Marching Cubes in Coq. Proof of correctness of the Marching Cubes algorithm in Coq. Last Updated: 2022-11-16