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
11 of 31solitude
-
Language
- Agda (Beta)
- Coq
-
Language Version
