7 commits

Author	SHA1	Message	Date
Pim Kunis	bdfbdeef14	update...	2023-04-05 19:29:33 +02:00
Pim Kunis	8a758ddfd1	fix	2023-04-05 19:28:44 +02:00
Pim Kunis	3871b0edcc	try to fix git url	2023-04-05 19:24:00 +02:00
Pim Kunis	b6e27f14ce	fix git link	2023-04-05 19:21:28 +02:00
Pim Kunis	7aac5730ad	split invariants into seperate module	2023-04-05 19:15:03 +02:00
Pim Kunis	9b70c55033	fix typo	2023-04-05 17:42:04 +02:00
Pim Kunis	625dc5f98b	init	2023-04-05 17:39:38 +02:00