Loading Factorial divisibility a.k.a. binomial coefficient
4 kyu
Loading Factorial divisibility a.k.a. binomial coefficient
4 kyu
Factorial divisibility a.k.a. binomial coefficient
12 of 33solitude
-
Language
- Agda (Beta)
- Coq
-
Language Version
