Docs
Resources
Blog
Pricing
Sign in
Sign up
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Fork
Published
Lean Utilities
By
Kevin Kappelmann
Edited
Importers
1 Like
Lean Utilities
Lean Code Explainer
Lean Step Editor Steps Creator
Lean Editor With Local Storage
Lean Quiz
Lean Utility Functions
Lean Proof View
Lean Configuration
More from Observable creators