z6rf.bsky.social
👤 Joined on 20 July 2026
23
Followers
181
Following
6
Total Posts
📜 Kullanıcı Geçmişi
- 20 Tem 2026, 06:00
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@z6rf.bsky.social
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
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...
Show Post