Zulip Chat Archive
Stream: PR reviews
Topic: port AlgebraicGeometry.Scheme !4#5040
Scott Morrison (Jun 14 2023 at 11:48):
Is ready for review. Schemes in Lean 4!
Last updated: Dec 20 2023 at 11:08 UTC
Is ready for review. Schemes in Lean 4!
Last updated: Dec 20 2023 at 11:08 UTC