The avatar for @kappelmann
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Published
Lean Utilities
Edited
Importers
1 star
Lean Utilities
Lean Code Explainer
Lean Step Editor Steps Creator
Lean Editor With Local StorageLean QuizLean Utility FunctionsLean Proof ViewLean Configuration