at://
/
app.bsky.feed.post
/
3mo2iftkbr22s
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
Comment pourrait-on ne pas avancer dans sa compréhension du monde mathématique en essayant de comprendre une démonstration de l'hypothèse de Riemann formalisée en Lean (même dans l'hypothèse où on ne parvienne pas à la comprendre complètement) ?