Dave M. mcndave

0 Followers · 1 Following

• Joined on 2020-09-17

Repositories

30

Projects Packages Public Activity Starred Repositories

5

mcndave pushed to master at mcndave/lean 2020-09-25 18:01:52 +00:00

8ab2d24073 - First commit of this smallish kernel

mcndave created repository mcndave/lean 2020-09-25 18:01:37 +00:00

mcndave created repository mcndave/lean 2020-09-25 18:01:37 +00:00