The next Lean FRO office hours are Feb. 11 at 4pm UTC. Bring your questions, share your projects, or just come to learn from others in the community!
See our full calendar here: https://lean-lang.org/community/#events
The next Lean FRO office hours are Feb. 11 at 4pm UTC. Bring your questions, share your projects, or just come to learn from others in the community!
See our full calendar here: https://lean-lang.org/community/#events
If you have a fediverse account, you can quote this note from your own instance. Search https://functional.cafe/users/leanprover/statuses/116048698143947571 on your instance and quote it. (Note that quoting is not supported in Mastodon.)