Exercices wims avec justification. Algèbre linéaire.
--- Introduction ---
Ce module rassemble quelques exercices WIMS faisant appel à CoqWeb. Ces exercices sont guidés. Les premiers exercices sont guidés plus explicitement que les derniers. Tous ces exercices sont accessibles uniquement en mode étudiants guidés.