Mark optimal and sub-optimal proofs differently in menu screen

nomeata / incredible

The Incredible Proof Machine

MIT License

358 stars 36 forks source link

Open olligobber opened 5 years ago

olligobber commented 5 years ago

For completionists, it would be convenient to quickly spot any sub-optimal (longer than minimum length) proofs from the menu screen.

SnowOnion commented 5 years ago

typo? sup -> sub

nomeata commented 5 years ago

Neat idea. Any suggestion for the design? Ideally something self-explanatory that does not confuse new users who don't care about optimality yet?

olligobber commented 5 years ago

Yeah, some ideas are

nomeata commented 5 years ago

I like the star, as it is purely positive feedback.