Determinant and Adjugate Matrix#1165

Open

FranziskusWiesnet wants to merge 8 commits into

agda:masterfrom

FranziskusWiesnet:master

Commits on Oct 30, 2024

Determinat added
Franziskus Wiesnet
committed
Comments added
Franziskus Wiesnet
committed

Commits on Oct 31, 2024

whitespace fix
Franziskus Wiesnet
committed
names fixed
Franziskus Wiesnet
committed

Commits on Nov 12, 2024

save-flags added
Franziskus Wiesnet
committed

Commits on May 23, 2025

Revert "Auxiliary commit to revert individual files from 1ea2f8f0f4a9c000fafb882e5b6046408f6993e0"
felixwellen
committed
use opaque, don't duplicate --cubical, order imports, use varibales
felixwellen
committed

Commits on May 8, 2026

Merge pull request #1 from agda/fwellen/fixes-determinant
FranziskusWiesnet
authored