search

math-comp / Coq-Combi

Algebraic Combinatorics in Coq
GNU General Public License v3.0
34 stars 7 forks source link

Bruhat #7

Open hivert opened 8 months ago

hivert commented 8 months ago

Work on Bruhat order.