Commit graph

2 commits

Author SHA1 Message Date
7aac5730ad split invariants into seperate module 2023-04-05 19:15:03 +02:00
625dc5f98b init 2023-04-05 17:39:38 +02:00