at://
/
app.bsky.feed.post
/
3mlukxeexss2q
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
A blog post about Lean programming and mathematics: www.djmetzle.io/blog/2026-05... #LeanProver #Programming
1mo
Logic in Lean
www.djmetzle.io
Decidable
djmetzle
