/AutoTheoremProvers

Auto theorem proving algorithms in Egison

This repository is not active