Loading Squared triangular numbers
6 kyu
Loading Squared triangular numbers
6 kyu
Squared triangular numbers
42 of 74Voile
-
Language
- Coq
- Lean
-
Language Version
Loading description...
Fundamentals