4 commits

Author	SHA1	Message	Date
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