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