GitHub repository: Brian-Nugent/RegularLocalRings
Primary language: Lean
Description: Formalization of regular local rings and regular sequences