christian
0 Followers · 0 Following
Repositories
14
 Projects Packages Public Activity Starred Repositories
1
christian pushed to master at christian/uni 2020-01-17 12:43:33 +01:00
22d8222ad2 Merge branch 'master' of gitea:christian/uni
5f42ee25b8 add ana22
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-17 01:56:35 +01:00
b425367304 final ipi11
7106f92c51 final vectors
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-16 22:28:00 +01:00
d50a8c9ed9 add vectors
6a9412035c add ipi11 1
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-16 18:11:56 +01:00
a390a2947a Merge branch 'master' of gitea:christian/uni
c0b6c470f3 add ana21
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-15 15:54:21 +01:00
b824e1bf9b update la10
christian pushed to master at christian/uni 2020-01-15 11:50:59 +01:00
568dd6f750 fix some typos
christian pushed to master at christian/uni 2020-01-13 14:13:27 +01:00
27c2f60829 update ipi10
christian pushed to master at christian/uni 2020-01-13 13:32:42 +01:00
cffcbdf06a Merge branch 'master' of gitea:christian/uni
554b59e1f4 add ipi10
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-12 23:46:29 +01:00
21292df69a add ana10
christian pushed to master at christian/uni 2020-01-10 19:55:25 +01:00
9d5b6e19e3 add la10
christian pushed to master at christian/uni 2020-01-10 17:02:16 +01:00
372f062bf5 update ana
christian pushed to master at christian/uni 2020-01-10 12:52:09 +01:00
52cef9b878 Merge branch 'master' of gitea:christian/uni
7f5d1126f7 add ana20
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-09 23:24:30 +01:00
19e1b33c78 update ana
christian pushed to master at christian/uni 2020-01-09 23:12:44 +01:00
5af5810d20 Merge branch 'master' of gitea:christian/uni
4bc1110dd1 add ipi9
Compare 2 commits »
christian pushed to master at christian/uni 2020-01-08 19:11:09 +01:00
f2347efa5d add ana9
christian pushed to master at christian/uni 2020-01-08 10:54:58 +01:00
fd7786f387 add ana19
christian pushed to master at christian/uni 2019-12-23 20:06:01 +01:00
7d6da47892 center title
christian pushed to master at christian/uni 2019-12-23 19:59:41 +01:00
95752d21d5 remove enumerate from proof
christian pushed to master at christian/uni 2019-12-23 19:52:49 +01:00
a67d263b1c remove parantheses
christian pushed to master at christian/uni 2019-12-23 19:47:42 +01:00
bb3200060b fix wrong structure