Lean Code Explainer | Kevin Kappelmann | Observable
Author
Kevin Kappelmann
@kappelmann
PhD student interested in interactive theorem proving.
Comments (2)
Kreijstal
Jan 26, 2021
This does not seem to work anymore.
Kevin Kappelmann
Jan 26, 2021
Thank you, was a problem down the line at the lead editor notebook. Fixed it
Reply
Add comment
Subscribe to notifications
© 2026 Observable, Inc.
Terms of service
Privacy policy
Product
About
Pricing
Documentation
Release notes
Contact us
Open source
Notebook Kit
Plot
D3
Community
Explore
Forum
Bluesky
YouTube
X
1
Follow
Follow
Lean Code Explainer | Kevin Kappelmann | Observable