به Nostr بپیوندید
2026-08-26 12:15:24 UTC
in reply to

koteitan on Nostr: こいつが居たせいで LEAN の証明が 15,000 行になったらしい

こいつが居たせいで LEAN の証明が 15,000 行になったらしい
Author Public Key
npub1f3w4x7dqvceeez8kuyq78md3lwhwfm0ra634llr0r3nykwjrs0hqvldhgk
Seen on
wss://relay.damus.io