Commit Graph

Select branches

Hide Pull Requests

master

prh-better-pascal-nomenclature

Mono Color

• 611219cdf4 add prh pascal prh-better-pascal-nomenclature Peter Harpending 2025-12-02 22:28:35 -08:00
• 7a9373654f improve nomenclature in pascal.v Peter Harpending 2025-12-02 22:20:23 -08:00
• 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