bits icon indicating copy to clipboard operation
bits copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Introduce separate axiom verification Makefile targets for 8-bit and 16-bit cases

Open anton-trunov opened this issue 2 years ago • 0 comments

E.g. make verify8 and make verify16 with make verify depending on the two previous build targets.

Related issue: https://github.com/coq-community/bits/issues/13

anton-trunov avatar Jul 12 '21 10:07 anton-trunov