Skip to content

feat(prove): prove properties of a script for every initial balance - #219

Draft
ascandone wants to merge 2 commits into
mainfrom
feat/prove
Draft

feat(prove): prove properties of a script for every initial balance#219
ascandone wants to merge 2 commits into
mainfrom
feat/prove

docs(prove): document the prover, its property language and the encoding

a640870
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar