• Daniel Donnell, Jr (13/13) Oct 22 2022 I'm starting a side project here:

Daniel Donnell, Jr <fruitfulapproach gmail.com> writes:

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.