16 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
christian	6bdb35767e	rav: removed, moved into submodule	2023-02-27 17:24:47 +01:00
christian	1544563802	rav: add version of lec22 without proofs	2023-02-16 12:09:01 +01:00
christian	f929db6df0	rav: update lecture	2023-02-03 17:09:57 +01:00
christian	94e329d376	rav: add new lecture, reorder some lemmas	2023-01-26 16:41:20 +01:00
christian	2b4c8ec637	rav: update lec 17, add lec 19	2023-01-20 18:40:34 +01:00
christian	f570713948	rav: add lecture 18	2023-01-20 17:05:41 +01:00
christian	25f7eb4ea3	rav: add 17th lecture	2023-01-16 22:06:08 +01:00
christian	9ed7216425	update rav lecture	2023-01-12 20:14:06 +01:00
christian	f5957abd5b	add rav16	2023-01-12 20:12:34 +01:00
christian	59b1b8ce78	rav: update, add lec 15	2022-12-16 16:45:25 +01:00
christian	8810bdeb33	rav: fix errors	2022-12-12 17:45:22 +01:00
christian	98e48b8d88	add new rav lectures	2022-12-06 16:21:21 +01:00
christian	09cab8543e	update rav	2022-12-03 17:29:38 +01:00
christian	f6e36c24b0	add rav 10	2022-11-24 23:00:32 +01:00
christian	f5a077e53f	rav lec: fix formatting	2022-11-17 22:38:01 +01:00
christian	ba6b781a24	add rav lecture	2022-11-17 22:13:12 +01:00