Coq-Combi icon indicating copy to clipboard operation
Coq-Combi copied to clipboard

Published 20 hours ago • verified publisher icon math-comp
→

Metadata

Algebraic Combinatorics in Coq

Results 2 Coq-Combi issues
Sort by recently updated
recently updated
newest added

Bruhat

Work on Bruhat order.

hivert avatar hivert

Upstream integration of ALEA changes

2 comment

[ALEA](https://github.com/coq-community/alea) is now a maintained project in coq-community. Please consider submitting extensions and changes to ALEA from here to that repo so that the community can benefit.

palmskog avatar palmskog

← Metadata

34
Stars
7
Forks
Watchers

Owner

verified publisher icon math-comp

Metadata

Algebraic Combinatorics in Coq

Back