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