/structure-theorem

This is a project for my summer research project into formalising Jordan Normal Form in Lean.

Primary LanguageLean

Stargazers

No one’s star this repository yet.