This web site has been set up to support scientific collaborations in the field of automated deduction. It hosts version control repositories for software and publication projects, and supporting documentation for publications.

Please check the main E website for the user-ready results of my work.