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
More from Observable creators