I am a postdoc at the University of Utah. My research interests are Algebraic Geometry and math formalization.
-
University of Utah
- https://sites.google.com/view/brian-nugent/home
Popular repositories Loading
-
-
-
-
-
RegularLocalRings
RegularLocalRings PublicForked from JarodAlper/RegularLocalRings
Formalization of regular local rings and regular sequences
Lean
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
