Activity
Deleted branch
It just book. (#227)
It just book. (#227)
Pull request merge
It just book.
It just book.
on Aug 9, 2024
Prepare release v1.1.0 (#224)
Prepare release v1.1.0 (#224)
Deleted branch
Prepare release v1.1.0 (#224)
Prepare release v1.1.0 (#224)
Pull request merge
Bump version number.
Bump version number.
Remove main/existence-intro and rewrite main/existence-theorem. (#222)
Remove main/existence-intro and rewrite main/existence-theorem. (#222)
Deleted branch
on Jun 3, 2024
Remove main/existence-intro and rewrite main/existence-theorem. (#222)
Remove main/existence-intro and rewrite main/existence-theorem. (#222)
Pull request merge
Remove main/existence-intro and rewrite main/existence-theorem.
Remove main/existence-intro and rewrite main/existence-theorem.
on Jun 3, 2024
Revise main/n-tuplication (#221)
Revise main/n-tuplication (#221)
on Jun 3, 2024
Deleted branch
Revise main/n-tuplication (#221)
Revise main/n-tuplication (#221)
Pull request merge
Remaining corrections for main/n-tuplication.
Remaining corrections for main/n-tuplication.
on May 24, 2024
Revise main/triplication (#220)
Revise main/triplication (#220)
Deleted branch
Revise main/triplication (#220)
Revise main/triplication (#220)
Pull request merge
A few more minor changes.
A few more minor changes.
on May 23, 2024
Lots of changes to main/triplication.
Lots of changes to main/triplication.
on May 23, 2024
Add the new multiplication flow diagram. (#219)
Add the new multiplication flow diagram. (#219)
Deleted branch
Add the new multiplication flow diagram. (#219)
Add the new multiplication flow diagram. (#219)
Pull request merge
Add the new multiplication flow diagram.
Add the new multiplication flow diagram.
on May 22, 2024
Revise main/multiplication-theorem. (#218)
Revise main/multiplication-theorem. (#218)
Deleted branch
Revise main/multiplication-theorem. (#218)
Revise main/multiplication-theorem. (#218)
Pull request merge
Deleted branch
Deleted branch
Revise main/multiplication-theorem.
Revise main/multiplication-theorem.
on May 20, 2024