[isabelle-dev] Metis: Unused Theorem Reduces Run-Time?

Makarius makarius at sketis.net
Wed Jan 30 16:23:33 CET 2013


On Wed, 30 Jan 2013, Tjark Weber wrote:

> Some projects let users vote (+1) on feature requests. Of course, as 
> Steve Jobs put it: "A lot of times, people don't know what they want 
> until you show it to them."

It is usually better to provide things that people *need*, but that is 
even harder to find out.


 	Makarius



More information about the isabelle-dev mailing list