spivee/number-theory
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
Commit Graph

4 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jarvis Carroll
3bf3e02ceb Prove binomial expansion 2025-11-26 22:14:40 +11:00
Jarvis Carroll
f79f109801 Rejig to use 'both_sides_equal' tactic 2025-11-26 16:56:37 +11:00
Jarvis Carroll
48136669a9 Refactor even/odd stuff 
It's now broken down into multiple lemmas, and my weird tactics are
introduced along the way.

I also changed some style things later on.
 2025-11-22 02:03:51 +11:00
Jarvis Carroll
4d8d3e5f81 Pascal's Triangle Theorem 
I quite like this little paradigm I have come up with here.

I have proved that the combinatoric choice definition and the
recursive Pascal's triangle definition agree.
 2025-11-22 00:31:51 +11:00