[woojoo666]

I wish you the best of luck, it looks like a ton of work, and while I won't pretend to be an expert, I thought it was quite impressive. Automated theorem proving is in its infancy so I'd imagine it's hard to find the right audience, but submitting it to conferences seems like a good bet!

[practal]

Thanks! But it is actually an old field by now, and there are quite a few conferences for it. Although automated theorem proving and interactive theorem proving have developed on different tracks, they are slowly converging in the last 15 years or so.