christian
0 Followers · 0 Following
Repositories
14
 Projects Packages Public Activity Starred Repositories
1
christian pushed to master at christian/uni 2023-02-16 12:09:11 +01:00
1544563802 rav: add version of lec22 without proofs
christian pushed to master at christian/uni 2023-02-03 17:10:20 +01:00
f929db6df0 rav: update lecture
christian pushed to master at christian/uni 2023-01-26 16:41:43 +01:00
94e329d376 rav: add new lecture, reorder some lemmas
christian pushed to master at christian/uni 2023-01-20 18:40:44 +01:00
2b4c8ec637 rav: update lec 17, add lec 19
christian pushed to master at christian/uni 2023-01-20 17:05:57 +01:00
f570713948 rav: add lecture 18
christian pushed to master at christian/uni 2023-01-16 22:06:18 +01:00
25f7eb4ea3 rav: add 17th lecture
christian pushed to master at christian/uni 2023-01-12 20:14:09 +01:00
9ed7216425 update rav lecture
christian pushed to master at christian/uni 2023-01-12 20:12:45 +01:00
f5957abd5b add rav16
christian pushed to master at christian/uni 2022-12-16 16:45:37 +01:00
59b1b8ce78 rav: update, add lec 15
christian pushed to master at christian/uni 2022-12-12 17:45:35 +01:00
8810bdeb33 rav: fix errors
christian pushed to master at christian/uni 2022-12-06 16:21:31 +01:00
98e48b8d88 add new rav lectures
christian pushed to master at christian/uni 2022-12-03 17:29:52 +01:00
09cab8543e update rav
christian pushed to master at christian/uni 2022-11-24 23:00:46 +01:00
f6e36c24b0 add rav 10
christian pushed to master at christian/uni 2022-11-17 22:38:13 +01:00
f5a077e53f rav lec: fix formatting
christian pushed to master at christian/uni 2022-11-17 22:17:05 +01:00
ba6b781a24 add rav lecture
christian pushed to master at christian/autocut 2022-09-10 20:02:16 +02:00
2abb417adf update analysis in python, add some more hs
0377049c88 first continous analysis
cc4f477029 some more fine tuning
01eb9272a3 first python ana version
christian created repository christian/autocut 2022-09-10 20:01:48 +02:00
christian pushed to master at christian/uni 2022-07-08 12:14:38 +02:00
e8b33bfa2f update galois
christian pushed to master at christian/uni 2022-07-08 11:02:32 +02:00
01573c3de7 add metaethik aufsatz
christian pushed to master at christian/uni 2022-06-23 19:30:26 +02:00
e79ca0fe16 vortrag affin update