Create accountLogin

Recent searches

No recent searches

Search options

Not available on functional.cafe.
functional.cafe is one of the many independent Mastodon servers you can use to participate in the fediverse.
functional.cafe is an instance for people interested in functional programming and languages.

Administered by:

Server stats:

209
active users

functional.cafe: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.5+glitch

Join us TUE Mar 11th for "LEAN - Interactive LLMs" hosted by @jaredc First we'll explore using LLMs for proofs in Lean. Then, we'll work together to tackle math theorems together. Don’t miss this hands-on session!

@leanprover
charlestonlc.org/classes/charl

Lean Theorem Prover
·Public·Web
0boosts·0favorites
ExploreLive feeds
About