Documentation for minitest-proveit