GitHub - bicmr-ai4math/group3-algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID: BICMR-ai4math 寒假研讨班第3组:algebraic_integers_of_Q_adjoin_sqrt_-3_is_PID

小组成员:王彦舒(starkakrats/wangyenshu)，王骏昌，王梓琛，李子阳，雷竹韵（不分前后）

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
AlgebraicIntegersOfQAdjoinSqrt3IsPID		AlgebraicIntegersOfQAdjoinSqrt3IsPID
.gitignore		.gitignore
AlgebraicIntegersOfQAdjoinSqrt3IsPID.lean		AlgebraicIntegersOfQAdjoinSqrt3IsPID.lean
Project.lean		Project.lean
README.md		README.md
intro.pdf		intro.pdf
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback