I'm starting a side project here:
https://github.com/enjoysmath/Dots
Post in issues forum if interested enough to join the study group / project or email me:
fruitfulapproach
On gmail.
I personally think the kernel, whenever it gets coded out enough, is going to be blazingly fast. After we tackle B. Pierce's first two books on proof assistants, I think we should get into Automated Theorem Proving, and there are some nice books out on that as well.
Thank you, D community, for providing awesome tools for software developers.