$117504
Show price in satoshis per fiat unit
@anon
$117504
Show price in satoshis per fiat unit
sign up
$117504
Show price in satoshis per fiat unit
@anon
$117504
Show price in satoshis per fiat unit
sign up
pull down to refresh
Towards a Formal Verification of the Lightning Network with TLA+
arxiv.org/pdf/2307.02342
124 sats
\
0 comments
\
@Kathleen_Croteau
14 Feb 2024
lightning
write
preview
reply
20 sats
related posts
view all related items
0 new comment