OCamlot
Feed
Users
Log in/Register
<p>Putting on kendrick and reading AI for Lean papers</p>
Posted on 23rd of Jul 2024
Reply
markusde
markusde@mathstodon.xyz
1
