Lean Focused Research Organization: If you're interested in keeping up on #LeanLang / #LeanProver news check out the LeanLang feed by @adolfont.github.io! bsky.app/profile/did:...

See full post

Lean Focused Research Organization lean-lang.org
If you're interested in keeping up on #LeanLang / #LeanProver news check out the LeanLang feed by @adolfont.github.io! bsky.app/profile/did:...
Feed: Lean Lang
Jun 11, 2025 17:34
0 reposts 0 quotes 0 likes

View on Bluesky Show all post labels

An unhandled error has occurred. Reload 🗙