Commit graph

2 commits

Author SHA1 Message Date
Christian Pauly
988a691eeb refactor: Structure files in more directories 2021-05-22 09:24:39 +02:00
Christian Pauly
c0724f27c0 feat: Better verification design 2021-02-20 10:29:03 +01:00