kaushikc.org / learn-lean
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

learn-lean / leanpkg.toml
at master 3 lines 46 B view raw
Kaushik Chakraborty initial commit
2a7f9a18
1[package] 2name = "learn-lean" 3version = "0.1"