S

Stage_L3

Formalisation en Coq des algèbres extérieures pour mathematical-components (https://github.com/math-comp/math-comp), et preuve d'un isomorphisme entre les algèbres extérieures et les formes multilinéaires alternées.

Name Last Update
Crans_Clifford Loading commit data...
Rapport Loading commit data...
Talks Loading commit data...
subject Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...