Proof of Marching Cubes in Coq. download

Project Activity

Follow Proof of Marching Cubes in Coq.

Proof of Marching Cubes in Coq. Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

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-07

Similar Business Software

Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for...

See Software
Cycloid

Cycloid is the unified Internal Developer Portal and Platform, made for platform engineering done right. Accelerate your platform engineering adoption from years to weeks, optimize the developer experience and operational efficiency by accelerating the delivery of a developer portal and...

See Software
Canva

Design anything. Publish anywhere. Use Canva’s drag-and-drop feature and professional layouts to design consistently stunning graphics. Design presentations, social media graphics with thousands of beautiful forms, over 100 million stock photos, video & audio, and all the tools you need. Design...

See Software