at://
/
app.bsky.feed.post
/
3mo3chdevss2l
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
Coquand is using claude
3d
Alecs P. Hacker
Auto formalisation of Chaitin and of the surprise incompleteness theorem. ~ Thierry Coquand. arxiv.org/abs/2606.124... #Agda #ITP #AI4Math
3d
