cde-goedel

10 Commits 1 Branch 0 Tags 86 KiB

Author	SHA1	Message	Date
Maximilian Keßler	309b2792b7	add README All checks were successful Compile exercises / compile (push) Successful in 1m2s Details	2024-01-03 17:06:17 +01:00
Maximilian Keßler	dfb58c498c	fix build script All checks were successful Compile exercises / compile (push) Successful in 1m1s Details	2024-01-03 17:04:44 +01:00
Maximilian Keßler	be281cfd85	fix latex input path Some checks failed Compile exercises / compile (push) Failing after 1m0s Details	2024-01-03 17:02:15 +01:00
Maximilian Keßler	b0586ffe9d	checkout packages Some checks failed Compile exercises / compile (push) Failing after 20s Details	2024-01-03 17:00:52 +01:00
Maximilian Keßler	d3ecf82674	Rename file Some checks failed Compile exercises / compile (push) Failing after 20s Details	2024-01-03 16:59:13 +01:00
Maximilian Keßler	f93a431c16	add CI	2024-01-03 16:58:41 +01:00
Maximilian Keßler	12c47ae64d	Vollständigkeit	2024-01-03 16:52:03 +01:00
Maximilian Keßler	641b48a247	set up packages	2024-01-03 16:33:16 +01:00
Maximilian Keßler	8497b89ed2	tableu kalkül	2024-01-03 16:26:06 +01:00
Maximilian Keßler	afaafd859c	initial commit	2024-01-02 09:49:20 +01:00