If you are interested in using our products or services, have any questions
or suggestions concerning our software, want to make a HOL Zero bounty claim,
are interested in working with us, or just want to engage in discussion about
formal methods and formal proof, then please contact us by e-mail at:
info@proof-technologies.com.