Home / Categories / formal verification

Best formal verification tools

1 curated entry

★ 4.0
schildep/verified: Verified 3D Mesh Intersection: Formally
Developer Tools

First formally verified 3D mesh intersection with Lean 4 proofs.

Artificial IntelligenceComputer GraphicsFormal Verification