1 unstable release
0.1.0 | Jul 12, 2024 |
---|
#25 in #prover
93 downloads per month
Used in 21 crates
(7 directly)
4MB
90K
SLoC
Point of interaction of the core subsystem with the prover subsystem. Defines the means of communication between the two subsystems without exposing the internal details of either.
Dependencies
~126MB
~2.5M SLoC