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
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