Proof of Marching Cubes in Coq.

inactive

Proof of correctness of the Marching Cubes algorithm in Coq.

Add a Review
6 Downloads (This Week)
Last Update:
  Browse Code Git Repository

Description

Proof of Marching Cubes in Coq. Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of Proof of Marching Cubes in Coq.!

Additional Project Details

Intended Audience

Aerospace, Automotive, Education, Healthcare Industry, Manufacturing, Science/Research

Registered

2013-06-06
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.