at://
/
app.bsky.feed.post
/
3ml4mhu3psc2b
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
Follow along on Github. We're building in the open. Contributions welcome! github.com/Stavan-Jain/...
1mo
Formalization project on Quantum Error Correction in Lean - Stavan-Jain/QECLean
github.com
GitHub - Stavan-Jain/QECLean: Formalization project on Quantum Error Correction in Lean
Aws Albarghouthi
