Theorem Provers

We are not only theorem prover users, but we also help develop and evolve modern theorem proving environments. Our use of these tools typically pushes to the limits of their utility, so we are always looking for ways to improve user interfaces, scalability, and capability to express more complex and larger theories.