pull down to refresh

11 sats \ 1 reply \ @Scoresby 30 Jun \ parent \ on: Jeff Booth Weighs In On BIP 110, Knots & Gloria bitcoin

your post idea sounds very interesting. I'm no logician, so I think I would find it quite educational.

write
compose
103 sats \ 0 replies \ @Lobotomite 30 Jun

Haha, maybe I spend some time on it, but I hardly trust myself to do the work perfectly. Proofs are hard.

reply