Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Yihe, Cui, Sizhe, Wang, Jiaqi, Zhang, Jujian
Format:	Preprint
Published:	2026
Subjects:	Combinatorics Logic in Computer Science Algebraic Geometry
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.23211