Product
Learn
Community
Pricing
Search
Sign in
Sign up
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Fork
Published
Lean Utilities
By
Kevin Kappelmann
Edited
Importers
3 Likes
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