madvorak / read-lean

How to read Lean
16Updated last week

Related projects

Alternatives and complementary repositories for read-lean