Skip to content
Nix CI for bundle coq8.16+mcmathcomp-2.1.0

remove backported lemmas to ssralg and poly #6

Sign in to view logs

remove backported lemmas to ssralg and poly

remove backported lemmas to ssralg and poly #6

Workflow file for this run

.github/workflows/nix-action-coq8.16+mcmathcomp-2.1.0.yml at f9a8968

File not found

The workflow file could not be found.