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
24 of 32solitude
-
Language
- Agda (Beta)
- Coq
-
Language Version
Loading description...
Theorem Proving
Mathematics
Fundamentals