summaryrefslogtreecommitdiff
path: root/README.mediawiki
diff options
context:
space:
mode:
authorDr. Maxim Orlovsky <orlovsky@pandoraprime.ch>2022-08-21 21:25:53 +0200
committerDr. Maxim Orlovsky <orlovsky@pandoraprime.ch>2022-08-21 21:43:18 +0200
commitad46e586d18d2d7d580b9662402f407061dc0b64 (patch)
treee527465645caff21e7044bd4e0a2aaf50961c134 /README.mediawiki
parent0337a6c64d26fd4e81c1cc04d298a36ce989f135 (diff)
downloadbips-ad46e586d18d2d7d580b9662402f407061dc0b64.tar.xz
Syntaxic proofs for BIP-372
Signed-off-by: Dr. Maxim Orlovsky <orlovsky@pandoraprime.ch>
Diffstat (limited to 'README.mediawiki')
0 files changed, 0 insertions, 0 deletions