Announcement Blog Post

[herostrat]

Hey, I loved learning about this project (although I am by no means able to understand more than 10% :D)

Just a suggestion: why not write a short blog post at https://github.com/leanprover-community/blog/ announcing this project?
I don't know how many people are looking into the blog, but I mean it wouldn't hurt, would it?

If you are interested I can prepare a post for you with the basics (I understand) and you can than add additional infos.

Best wishes for the project, I hope it will attract a lot of contributors!

[jstoobysmith]

Hi @herostrat!

Thanks for commenting and your interest in this project. Yes this sounds like a great suggestion, and yes, it couldn't hurt :).
I saw the post you did for the infinity-comos project which looks really great!

Something like this for HepLean would be amazing, if you have the time? No worries if not, I can also find the time to do this at some point.

Thanks,
Joseph

[jstoobysmith]

Following on from this, I never did get around to doing this. So if someone wants to do this it would be great!