Test prover core

WIP: refactoring the representation #12

Sign in to view logs

Triggered via pull request November 4, 2025 12:43

co-dan

opened #3

refactor

Status Success

Total duration 33s

Artifacts –

test.yml

on: pull_request