flip/real_analysis
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

Finished assignment 3 #14

Merged
flip merged 7 commits from assignment3 into master 2023-06-09 10:58:00 +02:00
Conversation 0 Commits 7 Files Changed 8 +247 -10
flip commented 2023-06-09 10:57:15 +02:00
Owner
Copy Link

Finished exercises of assignment 3 along with some changes to full document structure.

Fixes #5.

Finished exercises of assignment 3 along with some changes to full document structure. Fixes #5.
flip added 7 commits 2023-06-09 10:57:16 +02:00
Empty start on assignment 3 8c0d80b19e
Finished first exercise of assignment 3 and did some refactoring on numbering etc 6fcd7eca69
WIP on exercise 4, very close d708244e55
Finished exercise 4 of week 3 and quite satisfied with it 1639753ec0
Finished part of exercise 5, getting more comfortable with these kinds of proofs now 5930d51114
Finished exercise 6 from week 3, just a few to go db44eae2be
Finished assignment 3, pretty pleased with the results actually, didn't think I would make it this far 8d53e6e409
flip merged commit bda0c77b5e into master 2023-06-09 10:58:00 +02:00
flip deleted branch assignment3 2023-06-09 10:58:00 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
Bug
Exam
Feature
Make Assignment
Watch Lecture
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
jenkins flip
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: flip/real_analysis#14
No description provided.
Delete Branch "assignment3"

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?