pa-ba/alacarte-idris — pull request #1 by david-christiansen (2014-09-11 14:17:33+00:00)
Title: Simple proof search

This also works with "auto", however.