Search
Feeds
Discover
Login
Debug
Fork on GitHub
See full post
Adam Marblestone
adammarblestone.bsky.social
I have never seen a better conference name
xenaproject
xenaproject.bsky.social
·
Oct 9, 2025
ItaLean : formal maths and AI in Italy (Bologna), Dec 2025. Lectures, hands-on tutorials, research talks from academia and industry etc. Register here
pitmonticone.github.io/ItaLean2025/
ItaLean 2025
pitmonticone.github.io
Oct 9, 2025 15:23
0
reposts
0
quotes
0
likes
Repost
Quote post
View on Bluesky
Copy Bluesky URL
Copy post URL
Translate post
Show all post labels
An unhandled error has occurred.
Reload
🗙
