• Pricing
  • Get started
Kevin Kappelmann/...
Public

Lean Tutorials (Proof of Concept)

Showing 1 listing
thumbnail
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
The avatar for @kappelmann
Kevin Kappelmann
Jan 10, 2022•4 4
Platform
  • Observable Canvases
  • Observable Notebooks
  • Pricing
Docs
  • Observable
  • Observable Framework
  • Observable Plot
  • D3
  • Release notes
Resources
  • Blog
  • Webinars
  • Videos
  • Customer stories
  • Community Slack
  • Forum
Company
  • About
  • Careers
  • GitHub
GitHubLinkedInBlueskyYouTubeX
Platform
  • Observable Canvases
  • Observable Notebooks
  • Pricing
Docs
  • Observable
  • Observable Framework
  • Observable Plot
  • D3
  • Release notes
Resources
  • Blog
  • Webinars
  • Videos
  • Customer stories
  • Community Slack
  • Forum
Company
  • About
  • Careers
  • GitHub
GitHubLinkedInBlueskyYouTubeX
© 2025 Observable, Inc.PrivacySecurityTerms of ServiceVulnerability Disclosure