learn-lean-language

There are 0 repository under learn-lean-language topic.

• Learn-Lean

  seanpm2001 / Learn-Lean

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

  articlegpl3gplv3knowledgeleanlearnmdseanpm2001seanpm2001-educationseanpm2001-learntxtlean-collectionlean-langlean-languagelearn-leanlearn-lean-langlearn-lean-language
  Language:Lean 3