Conference on 100 Years of Noetherian Rings
A Formalization Experiment
Abstract: A few months ago, I decide to attempt to formalize one of my own papers using the Lean4 theorem prover. I will report on this experiment. (The Lean code can be found there: https://github.com/smorel394/TS1)
Date & Time
June 22, 2023 | 12:00pm – 1:00pm
Location
Wolfensohn Hall and Remote AccessSpeakers
Affiliation
ENS Lyon