Philippe Zwietering flip
flip created pull request flip/real_analysis#14 2023-06-09 10:57:16 +02:00
Finished assignment 3
flip pushed to assignment3 at flip/real_analysis 2023-06-09 10:48:43 +02:00
8d53e6e409 Finished assignment 3, pretty pleased with the results actually, didn't think I would make it this far
flip pushed to assignment3 at flip/real_analysis 2023-06-06 20:49:48 +02:00
db44eae2be Finished exercise 6 from week 3, just a few to go
flip pushed to assignment3 at flip/real_analysis 2023-06-02 17:00:24 +02:00
5930d51114 Finished part of exercise 5, getting more comfortable with these kinds of proofs now
flip pushed to assignment3 at flip/real_analysis 2023-06-01 23:51:11 +02:00
1639753ec0 Finished exercise 4 of week 3 and quite satisfied with it
flip pushed to assignment3 at flip/real_analysis 2023-05-30 17:05:46 +02:00
d708244e55 WIP on exercise 4, very close
flip pushed to assignment3 at flip/real_analysis 2023-05-26 16:54:04 +02:00
6fcd7eca69 Finished first exercise of assignment 3 and did some refactoring on numbering etc
flip pushed to assignment3 at flip/real_analysis 2023-05-25 17:12:13 +02:00
8c0d80b19e Empty start on assignment 3
flip created branch assignment3 in flip/real_analysis 2023-05-25 17:12:13 +02:00
flip merged pull request flip/real_analysis#13 2023-05-25 16:47:49 +02:00
Finished assignment 2
flip deleted branch assignment2 from flip/real_analysis 2023-05-25 16:47:49 +02:00
flip pushed to master at flip/real_analysis 2023-05-25 16:47:49 +02:00
90993a3a6f Merge pull request 'Finished assignment 2' (#13) from assignment2 into master
73d1b0e321 Finished assigment 2
8d1cac7611 Finished a few more exercies of week 2
e36d1e4733 Another exercise done week 2
b08ef7f201 Started on next exercise week 2
Compare 6 commits »
flip closed issue flip/real_analysis#2 2023-05-25 16:47:49 +02:00
Finish week 2
flip created pull request flip/real_analysis#13 2023-05-25 16:47:14 +02:00
Finished assignment 2
flip pushed to assignment2 at flip/real_analysis 2023-05-25 16:33:53 +02:00
73d1b0e321 Finished assigment 2
flip pushed to assignment2 at flip/real_analysis 2023-05-23 17:04:45 +02:00
8d1cac7611 Finished a few more exercies of week 2
flip pushed to assignment2 at flip/real_analysis 2023-05-22 07:31:39 +02:00
e36d1e4733 Another exercise done week 2
flip pushed to assignment2 at flip/real_analysis 2023-05-19 17:14:39 +02:00
b08ef7f201 Started on next exercise week 2
flip created branch assignment2 in flip/real_analysis 2023-05-16 17:00:08 +02:00
flip pushed to assignment2 at flip/real_analysis 2023-05-16 17:00:08 +02:00
9104ae866b Finished first exercise week 2