Linear algebra formalization in Agda
Primary LanguageAgdaMIT LicenseMIT
Linear algebra formalization in Agda, as a learning project