schildep/verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues