Sri
nsri.bsky.social
Math. Haskell. Program Analysis.
👤 Joined on 17 November 2024
29
Followers
167
Following
16
Total Posts
📜 Kullanıcı Geçmişi
- 17 Kas 2024, 05:42
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@nsri.bsky.social
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
Introducing clean, a formal verification DSL for zk circuits in Lean4. ~ Giorgio Dell'Immagine. blog.zksecurity.xyz/posts/clean/ #ITP #LeanProver
Show Post
Agreed. They're my bet (metaphorically) to crush the IPL this year. Devastatingly good lineup.
Show PostLessons learned with the Z3 SAT/SMT solver. ~ John D. Cook. www.johndcook.com/blog/2025/03... #SMT #Z3
Show Post