diff options
author | Dr. Maxim Orlovsky <orlovsky@pandoraprime.ch> | 2022-08-21 21:25:53 +0200 |
---|---|---|
committer | Dr. Maxim Orlovsky <orlovsky@pandoraprime.ch> | 2022-08-21 21:43:18 +0200 |
commit | ad46e586d18d2d7d580b9662402f407061dc0b64 (patch) | |
tree | e527465645caff21e7044bd4e0a2aaf50961c134 /bip-0111.mediawiki | |
parent | 0337a6c64d26fd4e81c1cc04d298a36ce989f135 (diff) |
Syntaxic proofs for BIP-372
Signed-off-by: Dr. Maxim Orlovsky <orlovsky@pandoraprime.ch>
Diffstat (limited to 'bip-0111.mediawiki')
0 files changed, 0 insertions, 0 deletions