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

prh-better-pascal-nomenclature #1

Open
pharpend wants to merge 2 commits from pharpend/number-theory:prh-better-pascal-nomenclature into master
pull from: pharpend/number-theory:prh-better-pascal-nomenclature
merge into: spivee:master
Conversation 0 Commits 2 Files Changed 1
+485
pharpend commented 2025-12-03 15:29:26 +09:00
First-time contributor
Copy Link
Copy Source
No description provided.
pharpend added 2 commits 2025-12-03 15:29:30 +09:00
improve nomenclature in pascal.v 7a9373654f
add prh pascal 611219cdf4
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u https://git.qpq.swiss/pharpend/number-theory prh-better-pascal-nomenclature:pharpend-prh-better-pascal-nomenclature
git checkout pharpend-prh-better-pascal-nomenclature
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
spivee (Jarvis Carroll)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: spivee/number-theory#1
Delete Branch "pharpend/number-theory:prh-better-pascal-nomenclature"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?