Skip to content
SourceFeed sourcefeed.dev
Topic

#Computational Geometry

1 article on Computational Geometry — news, releases, guides and analysis from the SourceFeed engine.

AI Wrote 60,000 Lines of Proofs So You Can Read 93
Article 4h ago 0

AI Wrote 60,000 Lines of Proofs So You Can Read 93

A formally verified CSG kernel in Lean 4 shows where trust in machine-written code actually lands.

Priya Nair