philipp/risp

Author	SHA1	Message	Date
philipp	b096ffe74d	add first draft of abgb All checks were successful CI/CD Pipeline / test (push) Successful in 1m36s Details	2024-02-06 12:47:29 +01:00
philipp	8e058122d6	add final law test: urhg All checks were successful CI/CD Pipeline / test (push) Successful in 36s Details	2024-02-05 15:58:44 +01:00
philipp	d389e6c874	add vvg All checks were successful CI/CD Pipeline / test (push) Successful in 34s Details	2024-02-05 15:50:03 +01:00