docs: require that a stated verification result was actually produced - #132
Closed
toruiwasa wants to merge 1 commit into
Closed
docs: require that a stated verification result was actually produced#132toruiwasa wants to merge 1 commit into
toruiwasa wants to merge 1 commit into
