at://
/
app.bsky.feed.post
/
3mk75jgzccs2x
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
SVIL in Lean 2026 recordings are now available. Max Tegmark on Signal Shot: "Everybody should be able to be secure." Watch: www.youtube.com/watch?v=eTCW...
1mo
Software Verification in Lean 2026, Paris
beneficial-ai-foundation.github.io
Software Verification in Lean 2026
Lean Focused Research Organization
