Zulip Chat Archive
Stream: maths
Topic: Birational Geometry
Yi Li (Jul 28 2025 at 03:09):
Hi there, Is there some formalization project about birational geometry?
Michał Mrugała (Jul 29 2025 at 16:08):
Projective (and by extension birational) geometry is basically not developed in mathlib at all. However, you might be interested in the Toric project!
Last updated: Dec 20 2025 at 21:32 UTC