5 Commits

Author SHA1 Message Date
Dmitriy Ryajov
28f409f1bb
add config file to examples dir 2023-11-13 13:38:32 -06:00
Dmitriy Ryajov
c583af0755
move things around and add results support 2023-11-13 13:38:31 -06:00
Dmitriy Ryajov
4b8487b0df
nimbify package 2023-11-13 13:37:57 -06:00
Balazs Komuves
9fd8bba4f0
minor improvements 2023-11-11 17:14:23 +01:00
Balazs Komuves
b4f4f7c97f
add example proof script 2023-11-11 14:37:31 +01:00