spivee/number-theory
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 3bf3e02ceb Prove binomial expansion master Jarvis Carroll 2025-11-26 22:14:40 +11:00
  • f79f109801 Rejig to use 'both_sides_equal' tactic Jarvis Carroll 2025-11-26 16:56:37 +11:00
  • 48136669a9 Refactor even/odd stuff Jarvis Carroll 2025-11-22 02:03:51 +11:00
  • 4d8d3e5f81 Pascal's Triangle Theorem Jarvis Carroll 2025-11-22 00:31:51 +11:00