PyPI page
Home page
Author:
TimeLordRaps
Summary:
Verification-domain language and reference implementation for bounded computational claims.
Latest version:
1.5.0
Optional dependencies:
build
|
cbor2
|
coverage
|
cryptography
|
jsonschema
|
llguidance
|
pytest
|
pytest-timeout
|
pyyaml
|
scitt-cose
|
torch
|
twine
Downloads last day:
15
Downloads last week:
29
Downloads last month:
1,691
7-day smoothing