3 Commits

Author	SHA1	Message	Date
Michael Muré	4f4331b677	client: move FindProof testing directly where the code is	2025-08-05 16:57:19 +02:00
Michael Muré	547416e60d	client: improve/modularize	2025-08-05 16:57:19 +02:00
Michael Muré	6c1602507b	client: add a pool that can find a prood for an invocation	2025-08-05 16:57:19 +02:00