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