Flashes Home Search Notifications Sign in Post
Barry @chiroptical.dev · Oct 26

Finished section 2.1 of Mathematics in #LeanLang.

3 likes 1 replies

?

Replies

Barry · Oct 26

It is pretty neat how the LSP guides you through this.

Legal

Privacy Policy Terms and Conditions

Contact

FAQs Feedback

Follow

Bluesky Instagram Threads
Flashes for Bluesky Get it on the App Store

Feeds

  • Global
  • Trending
  • Blacksky Images
  • Photography
  • Discover
Browse all feeds
Feedback Ideas, bugs, and what ships next
Privacy Policy Terms and Conditions FAQs Bluesky Instagram Threads
Get it on the App Store