Kevin Kappelmann/...
Public

Lean Utilities

Utilities for Lean Notebooks
Showing all 7 listings
thumbnail
Lean Code Explainer
The avatar for @kappelmann
Kevin Kappelmann
Aug 28, 2019•3 2
thumbnail
Lean Step Editor Steps Creator
The avatar for @kappelmann
Kevin Kappelmann
Aug 27, 2019•1
thumbnail
Lean Editor With Local Storage
The avatar for @kappelmann
Kevin Kappelmann
Aug 27, 2019•5
thumbnail
Lean Quiz
The avatar for @kappelmann
Kevin Kappelmann
Aug 22, 2019•3
thumbnail
Lean Utility Functions
The avatar for @kappelmann
Kevin Kappelmann
Aug 18, 2019•1
thumbnail
Lean Proof View
The avatar for @kappelmann
Kevin Kappelmann
Aug 21, 2019•3 3
thumbnail
Lean Configuration
The avatar for @kappelmann
Kevin Kappelmann
Aug 18, 2019