@hackage / refinery

Toolkit for building proof automation systems