seanpm2001/Learn-Lean

A repository for showcasing my knowledge of the Lean programming language, and continuing to learn the language.

Language: Lean - Size: 274 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1