Giacomo Pasini 1aa7a7f81f
bind proofs (#22)
* bind proofs

* refactor to remove cycle
2024-08-09 17:33:01 +02:00
..
2024-08-09 17:33:01 +02:00