at://
/
app.bsky.feed.post
/
3mmtyuhocbk2e
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
Lean 4.30.0 is live! 306 changes: new 𝚜𝚢𝚖 => interactive tactic (𝚐𝚛𝚒𝚗𝚍-based, user-controlled), 𝚌𝚋𝚟 out of experimental, LCNF backend complete (~15% smaller binaries), and a full Lake cache overhaul. Release notes: lean-lang.org/doc/referenc...
20d
Lean Focused Research Organization
