Coq-Combi

Algebraic Combinatorics in Coq

GitHub

35 stars
12 watching
7 forks
Language: Coq
last commit: 12 days ago