Artin-Wedderburn Formalization in Lean 4
This repository contains an ongoing formalization of the Artin-Wedderburn theorem in the proof assistant Lean 4.
Authors
Matevž Miščič, Maša Žaucer, Job Petrovčič
Info
Information about the actual formalization is available at the project web pages: