İçeriğe geç

z6rf.bsky.social

@z6rf.bsky.social did:plc:aipe4f2k6lhynmazxhkyeb3p

Bluesky’a katılma tarihi:

Takipçi
25
Takip edilen
181
Post
6
Sıralamaya girdiği gün
0

Özet

z6rf.bsky.social (@z6rf.bsky.social), 20 Temmuz 2026 tarihinde katılan bir Bluesky kullanıcısı. 25 takipçisi var, 181 hesabı takip ediyor ve 6 post paylaştı.

Sıralama geçmişi

Bu hesabın postlarının Debya günlük listesine girdiği en iyi günler.

Bu hesap henüz günlük sıralamaya girmedi.

Son beğendiği postlar

Bluesky ağındaki herkese açık beğeniler.

  • z6rf.bsky.social@z6rf.bsky.social

    We construct phsysics from a single binary contrast and we formalize the entire construction in Lean 4. Every subsequent count is forced and machine-checked zenodo.org/records/2164...

    Postu göster

Daha fazlası için üye girişi yap

Blokladığı hesaplar

Bluesky’da bloklar herkese açık kayıtlardır.

Bu hesap kimseyi bloklamıyor.