Bitcoin layer 2 contracts specifications using TLA+
Primary LanguageTLAGNU Affero General Public License v3.0AGPL-3.0