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.